Doctoral student in automated numerical and logical methods for bug finding
Chalmers Tekniska Högskola AB
📍 Göteborg
⏰ Heltid
📋 Vanlig anställning
🗓 Ansök senast 1 juni 2026
✦ Få fler intervjuer
Generera ett personligt brev anpassat för just den här rollen — på under en minut.
Skapa ansökan – från 49 kr Gratis att söka · Ingen registrering · Premium 49 kr/månOm jobbet
Join Our Research Team at the Division of Computing Science
Apply your functional programming background to research formal methods for automated bug finding at the Division of Computing Science. As a Doctoral student, you will develop automated tools based on numerical techniques and theorem provers.
About us
The https://www.chalmers.se/en/departments/cse/, a joint department of Chalmers and the University of Gothenburg, spans the breadth of computing disciplines. Our internationally visible research, strong industry links, and diverse environment create a collaborative setting where ideas grow into real impact.
About the research project
This project develops automated numerical and logical methods for finding bugs in programs. You will build bug-finding tools using logical specifications, numerical methods, and automated theorem provers, working within the research group that produced QuickCheck. Our core areas include formal methods, functional programming, software and hardware specifications, software testing, model checking, automated reasoning, and SAT. The project involves both theoretical foundations and practical tool development.
Who we are looking for
The following requirements are mandatory:
To qualify as a Doctoral student, you must have a Master's degree in Computer Science, Computer Engineering, Mathematics, or a closely related field.
Strong written and verbal communication skills in English.
A strong background and experience in functional programming.
The ability to work both independently and collaboratively within a research group.
The following experience will strengthen your application:
A strong background in logic.
A strong background in mathematics.
Demonstrated skills in technical writing and programming. Include a concrete example in your application that demonstrates these skills (such as your thesis or a substantial course project).
What you will doTake courses at an advanced level within the https://www.chalmers.se/en/research/we-train-new-researchers/graduate-schools/computer-science-and-engineering/.
Develop your own scientific concepts and communicate the results of your research verbally and in writing.
Teaching on Chalmers' undergraduate level or performing other departmental duties corresponding to 20 percent of working hours.
Research and develop theoretical foundations and practical automated bug-finding tools using logical specifications, numerical methods, and automated theorem provers.
Contract termsThe Doctoral student positions are fully funded from start.
The position is a fixed-term appointment of four years, with the possibility to teach up to 20%, which extends the position up to five years.
A starting salary of 34,550 SEK per month (valid from May 25, 2025).
Doctoral studies require physical presence throughout the entire study period. A valid residence permit must be presented by the study start date; otherwise the admission may be withdrawn.
What we offerAs a Doctoral student at Chalmers, you are an employee and enjoy all employee benefits. Read more about https://www.chalmers.se/en/about-chalmers/work-with-us/ and our https://www.chalmers.se/en/about-chalmers/work-with-us/chalmers-as-an-employer/benefits-and-conditions/ for employees.
A dynamic and inspiring working environment in the coastal city of https://www.goteborg.com/en/.
Read more about Sweden’s generous parental leave, subsidized day care, free schools, healthcare etc at https://www.movetogothenburg.com/.
Application procedure
The application should be written in English and attached as PDF-files. Use the button at the foot of the page to reach the application form.
We welcome your application no later than June 1, 2026.
For questions, please contact:
Koen Claessen
Professor
Email: mailto:koen@chalmers.se
We look forward to your application!
Apply your functional programming background to research formal methods for automated bug finding at the Division of Computing Science. As a Doctoral student, you will develop automated tools based on numerical techniques and theorem provers.
About us
The https://www.chalmers.se/en/departments/cse/, a joint department of Chalmers and the University of Gothenburg, spans the breadth of computing disciplines. Our internationally visible research, strong industry links, and diverse environment create a collaborative setting where ideas grow into real impact.
About the research project
This project develops automated numerical and logical methods for finding bugs in programs. You will build bug-finding tools using logical specifications, numerical methods, and automated theorem provers, working within the research group that produced QuickCheck. Our core areas include formal methods, functional programming, software and hardware specifications, software testing, model checking, automated reasoning, and SAT. The project involves both theoretical foundations and practical tool development.
Who we are looking for
The following requirements are mandatory:
To qualify as a Doctoral student, you must have a Master's degree in Computer Science, Computer Engineering, Mathematics, or a closely related field.
Strong written and verbal communication skills in English.
A strong background and experience in functional programming.
The ability to work both independently and collaboratively within a research group.
The following experience will strengthen your application:
A strong background in logic.
A strong background in mathematics.
Demonstrated skills in technical writing and programming. Include a concrete example in your application that demonstrates these skills (such as your thesis or a substantial course project).
What you will doTake courses at an advanced level within the https://www.chalmers.se/en/research/we-train-new-researchers/graduate-schools/computer-science-and-engineering/.
Develop your own scientific concepts and communicate the results of your research verbally and in writing.
Teaching on Chalmers' undergraduate level or performing other departmental duties corresponding to 20 percent of working hours.
Research and develop theoretical foundations and practical automated bug-finding tools using logical specifications, numerical methods, and automated theorem provers.
Contract termsThe Doctoral student positions are fully funded from start.
The position is a fixed-term appointment of four years, with the possibility to teach up to 20%, which extends the position up to five years.
A starting salary of 34,550 SEK per month (valid from May 25, 2025).
Doctoral studies require physical presence throughout the entire study period. A valid residence permit must be presented by the study start date; otherwise the admission may be withdrawn.
What we offerAs a Doctoral student at Chalmers, you are an employee and enjoy all employee benefits. Read more about https://www.chalmers.se/en/about-chalmers/work-with-us/ and our https://www.chalmers.se/en/about-chalmers/work-with-us/chalmers-as-an-employer/benefits-and-conditions/ for employees.
A dynamic and inspiring working environment in the coastal city of https://www.goteborg.com/en/.
Read more about Sweden’s generous parental leave, subsidized day care, free schools, healthcare etc at https://www.movetogothenburg.com/.
Application procedure
The application should be written in English and attached as PDF-files. Use the button at the foot of the page to reach the application form.
We welcome your application no later than June 1, 2026.
For questions, please contact:
Koen Claessen
Professor
Email: mailto:koen@chalmers.se
We look forward to your application!