PhD student position in Dependent Type Theory and Functional Programming

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 procedure
The application should be marked with Ref 20150070 and written in English. The application should be sent electronically via Chalmers webpage.


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 declines to consider all offers of further announcement publishing or other types of support for the recruiting process in connection with this position. *** 

   



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!