Information about the department and the division

The Department of Computer Science and Engineering is a joint department at Chalmers University of Technology and the University of Gothenburg, with activities on two campuses in the city of Gothenburg. The department has around 210 employees from over 30 countries. Our research has a wide span, from theoretical foundations to applied systems development. We provide high quality education at Bachelor's, Master's and graduate levels, offering over 120 courses each year. We also have extensive national and international collaborations with academia, industry and society.

The Functional Programming Division conducts world class research in Functional Programming, both implementation and application. Through a major grant from the Wallenberg Autonomous Systems Program (WASP), Sweden’s largest individual research program ever, a research group has been created focusing on using functional languages and techniques from functional languages research, to research technologies and methodologies for creating correct, robust and secure HW/SW systems for autonomous vehicles.

As part of this effort, two PhD positions have been created and this advertisement is for both of these positions.

Major responsibilities
The PhD student will work as part of a team creating an environment in which correct, robust and secure systems can be created through a process involving a mixture of formal verification steps and trusted transformations. A particular focus will be the design and verification of algorithms based on deep learning. The practical work will range the whole way from creating domain specific languages used to capture the unique requirements of autonomous systems to implementing low-level interfaces to commercial synthesis and place and route tools. We place a strong emphasis on the development and implementation of our ideas in prototype systems and applying them to realistic test cases. As a result, a significant amount of practical "hands-on" work is expected in addition to theoretical work and software development. The student will be supervised by Prof. Carl-Johan Seger.

PhD student positions are for up to five years of full-time employment; normally, 20% of the time is allocated to departmental work (mainly teaching duties). The salary for the position is as specified in Chalmers/s general agreement for PhD student positions.

The position is intended to start in the spring of 2018.

Position summary
Full-time temporary employment. The position is limited to a maximum of five years.

To be qualified the applicant must have a Master’s degree corresponding to at least 240 higher education credits in computer science, computer engineering, or a closely related discipline. You may apply if you have not completed all requirements for your degree, provided you will have before the position at Chalmers starts.

Competitive candidates will have a strong computer science background, both theoretical and practical, with emphasis on programming languages techniques; expertise in some of the areas of interests for this position; a passion for high-quality software research and development; and excellent analytical and communication skills. Prior publications are meritorious.

Whereas both Swedish and English are used in undergraduate courses, English is the working language for research in Chalmers's Department of Computer Science and Engineering. Thus, fluency in English is mandatory for candidates, but knowledge of Swedish is not required.

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 20180029 and written in English. The application should be sent electronically and be attached as pdf-files, as below:

CV: (Please name the document: CV, Family name, Ref. number)
• CV
• Other, for example previous employments or leadership qualifications and positions of trust.
• Two references that we can contact.

Personal letter: (Please name the document as: Personal letter, Family name, Ref. number)
• 1-3 pages where you introduce yourself and present your qualifications.
• Previous research fields and main research results.
• Future goals and research focus. Are there any specific projects and research issues you are primarily interested in?

Other documents:
• Copies of bachelor and/or master’s thesis.
• Attested copies and transcripts of completed education, grades and other certificates, eg. TOEFL test results.

Please use the button at the foot of the page to reach the application form. The files may be compressed (zipped).

Application deadline: 2nd March, 2018

For questions, please contact:
Professor Carl-Johan Seger, CSE,, Phone: +46 72-391 2821
Professor Mary Sheeran, CSE,

Göteborg, Sweden
Gothenburg is often referred to as the "heart of Scandinavia". The videos below give an impression what it's like to live and study in Gothenburg.

Live in Gothenburg:

*** 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; Building Futures, 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!