The department of Computer Science and Engineering (http://www.chalmers.se/cse/EN/) provides a strong, international, and dynamic research environment with around 90 faculty and 70 PhD students from over 30 countries.

The Programming Logic Group has done pioneering work in the general area of type theory and its applications, including implementation of proof assistants, dependently typed programming, metatheoretical investigations of logical system, and formalisation of mathematics.

Currently, the main focus is on developing the dependently typed functional programming language Agda and computational models of parametricity and homotopy type theory.

Major responsibilities
The PhD student will join the Programming Logic group and contribute to its research on dependent type theory and functional programming. Topics of interest include the following directions of work:

• Design of dependently typed functional programming languages. 
• Theory and implementation of type checkers, compilers etc. for dependently typed functional programming languages. 
• Investigations into the use of dependently typed functional programming languages, both as programming languages and as logical systems. 
• Models and applications of (homotopy) type theory.

The selection of the specific research topic will depend on both the interests of the new PhD student and the research agenda of the group.

The majority of a PhD student's working time is devoted to research studies: courses, research, paper writing, conferences, etc. In addition the positions will include up to 20% departmental work, mostly teaching duties.

Position summary
Full-time temporary employment. The position is limited to a maximum of five years. Provided the PhD student makes satisfactory progress research funding will be provided during 4 years, with annual reviews. With the usual distribution of 20% departmental work and 80% research, this will range over a period of 5 years.

Qualifications
Applicants shall have a strong background in computer science or a related discipline. Ideally, they will hold a master's degree or equivalent (for instance "civilingenjörsexamen"), however, in exceptional cases we may accept very strong candidates with a bachelor's degree or equivalent.

Applicants shall have a genuine interest and curiosity in the subject matter, and demonstrated skills in functional programming, type theory, dependent types, and mathematics. Excellent analytical skills are also needed, as well as proficiency in communication and presentation.

Knowledge of English is required, but knowledge of Swedish is not a prerequisite for applying: English is our working language for research, and we publish internationally. Both Swedish and English are used in undergraduate courses.

Chalmers continuously strives to be an attractive employer. Equality and diversity are substantial foundations in all activities at Chalmers.

Application deadline: March 31, 2015

For questions, please contact:

Andreas Abel 
Department of Computer Science and Engineering 
Computer Science Division 
andreas.abel<στο>gu.se 
+46 31 772 1731

Ana Bove 
Department of Computer Science and Engineering 
Computer Science Division 
bove<στο>chalmers.se
+46 31 772 1020

Thierry Coquand 
Department of Computer Science and Engineering 
Computer Science Division 
thierry.coquand<στο>cse.gu.se 
+46 31 772 1030

Nils Anders Danielsson 
Department of Computer Science and Engineering 
Computer Science Division 
nad<στο>cse.gu.se 
+46 31 772 1680

Peter Dybjer 
Department of Computer Science and Engineering 
Computer Science Division 
peterd<στο>chalmers.se 
+46 31 772 1035

Chalmers University of Technology conducts research and education in engineering sciences, architecture, technology-related mathematical sciences, natural and nautical sciences, working in close collaboration with industry and society. The strategy for scientific excellence focuses on our eight Areas of Advance; Built Environment, Energy, Information & Communication Technology, Life Science, Materials Science, Nanoscience & Nanotechnology, Production and Transport. The aim is to make an active contribution to a sustainable future using the basic sciences as a foundation and innovation and entrepreneurship as the central driving forces. Chalmers has around 11,000 students and 3,000 employees. New knowledge and improved technology have characterised Chalmers since its foundation in 1829, completely in accordance with the will of William Chalmers and his motto: Avancez!
…