PhD position in Constraint-based Compilation
KTH School of Information and Communication Technology seeks a PhD student in Computer Science or Computer Engineering
KTH in Stockholm is the largest and oldest technical university in Sweden. No less than one-third of Sweden’s technical research and engineering education capacity at university level is provided by KTH. Education and research spans from natural sciences to all branches of engineering and includes architecture, industrial management and urban planning. There are a total of just over 15,000 first and second level students and more than 1,600 doctoral students. KTH has almost 4,300 employees.
The school of Information and Communication Technology, ICT, conducts research and education at leading international level in material physics, photonics/optics, electronic systems, integrated devices and circuits, as well as communication systems. Our research activity encompasses both basic and applied level. We offer a wide spectrum of educational programs at undergraduate, masters and doctoral level. The ICT School fosters close collaboration with Swedish and international companies and research institutes as well as surrounding associations such as Kista Science City.
Description of the position
The scope of this doctoral position is to apply constraint programming (and possibly other methods from combinatorial optimisation) to the compilation of programs. The position is supported by a grant from the Swedish Research Council (Vetenskapsrådet). More information is available from: web.it.kth.se/~cschulte/projects/unison.php
The student is expected to work in close collaboration with ongoing research efforts at SICS (Swedish Institute of Computer Science) funded by LM Ericsson AB.
Eligibility and Assessment Criteria
Applicants must hold or be about to receive an MSc degree in Computer Science, Computer Engineering, or a related area. The candidate should have experience in the compilation of programming languages and computer architecture. Documented knowledge in Constraint Programming or other approaches for combinatorial optimisation are considered beneficial. Evaluation will be based on the scientific quality of the candidate in accordance with the needs of the project. Excellent academic credentials, written and spoken English proficiency, communication and team-work skills are expected.
Employment
Form of employment: Time limited, following the recommendations for PhD program employment in the Higher Education Ordinance (Högskoleförordningen)
Start: According to the agreement
The salary: Follows "KTH:s student salary agreement”
Application
The application must include the following documents:
- Cover letter: a one-page summary of your application.
- Curriculum vitae: a document of up to four (4) pages, including all your relevant academic, professional, and other achievements, experience, and knowledge.
- Transcripts and degrees: official documents from your previously attended University-level institutions, with certified translations in English (unless provided so by the issuing institution).
- Recommendation letters: Please arrange for at least two (2) recommendation letters to be received by the application deadline (as per the application submission instructions below). Please include detailed contact information for at least two (2) references (including the two you arranged for).
- Statement of purpose: Please state why you wish to pursue a doctoral degree, what are your academic interests, how they relate to your previous studies and future goals. Maximum two (2) pages long.
- Representative publications or technical reports: Please provide up to two (2) documents, no longer than ten (10) pages each. For longer documents (e.g., theses), please provide a summary (abstract) and a web link to the full text.
Deadline for application is 2012-03-12.
Please refer to the reference number I-2012-0045 in the subject line of your application.
Applications via e-mail are to be sent to registrator@ict.kth.se .
The documents shall be sent as PDF attachments if the application is sent in electronically Please do not send any compressed files.
We also accept applications via ordinary post sent to:
KTH – ICT, Registrator
Forum 105
S-164 40 Kista, Sweden
Contact
For more information about the position, please contact
Assoc. Prof. Christian Schulte
Phone: +46 (0)8 790 4264
Email: cschulte@kth.se
Gun Hjertsson
Phone: + 46 (0)8 790 4411
Email: gun@kth.se
Union representative
Lars Abrahamsson, SACO
Phone: +46 (0)8 790 7058
Email: lars.abrahamsson@ee.kth.se