Doctoral student in automated numerical and logical methods for bug finding

Publiceringsdatum: 2026-05-04

Det är nu möjligt för dig att få jobb som doktorand hos Chalmers Tekniska Högskola AB. Om du vill arbeta heltid hos Chalmers Tekniska Högskola AB, har de just nu en tjänst 6 månader eller längre som kan passa dig. Arbetsplatsen ligger nära tillhands om du är bosatta i Göteborg som är tjänsteorten.

Chalmers Tekniska Högskola AB söker för närvarande efter ambitiösa individer som vill utvecklas i rollen som doktorand. Kolla in deras ledig tjänst och se om du har vad som krävs för att bli en del av deras team. Sök jobbet som doktorand hos Chalmers Tekniska Högskola AB och ta chansen att ta din karriär till nästa nivå. Ansök senast måndag den första juni 2026.

Jobbannons

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.

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.

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.

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).

• Take 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.

• The 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.

• As 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/.

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.

Koen Claessen

Professor

Email: mailto:koen@chalmers.se