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!
…
Don't forget to mention Naturejobs when applying.
<form accept-charset="UTF-8" action="http://www.nature.com/naturejobs/science/jobs/503535-phd-student-position-in-dependent-type-theory-and-functional-programming/inquiries" class="input-form inquiry-form" id="url-application" method="post" style="margin: 0px; padding: 0px; z-index: 10; ">
Apply through the recruiter's website
This recruiter would like you to apply via their website. Follow the link below for further instructions.
</form>