Doctoral student in automated numerical and logical methods for bug finding in programs

Spread the love


Personal letter
 

  • A brief introduction about yourself. 
  • A brief motivation as to why you are interested in this position. 

Bachelor’s and, if available, master’s thesis together with the transcripts. 

Use the button at the foot of the page to reach the application form.  

A background check may be conducted as part of the application process.

Please note:
 The applicant is responsible for ensuring that the application is complete. Incomplete applications and applications sent by email will not be considered. Contact details to references will be requested after the interview. 

We welcome your application no later than June 1, 2026.

For questions, please contact:  

Koen Claessen
Professor
Email: koen@chalmers.se 

We look forward to your application! 

Chalmers declines to consider all offers of further announcement publishing or other types of support for the recruiting process in connection with this position.

Apply