Doctoral student in automated numerical and logical methods for bug finding
Chalmers Tekniska Högskola AB / Högskolejobb / Göteborg
2026-05-04
Visa alla högskolejobb i Göteborg,
Mölndal,
Partille,
Kungälv,
Lerum eller i
hela Sverige Visa alla jobb hos Chalmers Tekniska Högskola AB i Göteborg 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!
Så ansöker du Sista dag att ansöka är 2026-06-01
Klicka på denna länk för att göra din ansökan Omfattning Detta är ett heltidsjobb.
Arbetsgivare Chalmers Tekniska Högskola AB (org.nr 556479-5598),
https://www.chalmers.se/ Chalmers tekniska högskola (
visa karta)
412 96 GÖTEBORG
Arbetsplats Chalmers tekniska högskola
Jobbnummer 9888260