Research Assistant / PhD position in Computing Science

About us:

The Theory of Correct Systems group develops formal methods and tools for raising the confidence in the correctness of software systems. Our research focuses on quantitative reasoning techniques, including deductive program verification and probabilistic model checking.
Your tasks:

• Working on challenging research questions at the intersection of deductive verification, programming languages and probabilistic model checking
• Publishing scientific papers at leading conferences on formal methods, verification or programming languages
• Supporting teaching in theoretical computer science, including co-supervision of bachelor and master students
  Your profile: Requirements
  • A completed academic degree—Master’s or equivalent—in computer science; other comparable fields of study will also be considered.
  • Formal methods or verification (broadly interpreted) must have been part of your degree program for at least 5 credit points.
  • A cover letter (max. 1 page) explaining your motivation with a clear focus on program verification or formal methods.
  • Intention to pursue a PhD
  • Good written and spoken English skills Advantageous
    • Experience with interactive theorem provers
    • Interest in the development of automated verification tools
    • Teaching experience in theoretical computer science
      We offer:
    • Opportunity to work on exciting research topics
    • Support and guidance throughout your employment, particularly regarding your research
    • Opportunity to publish your research findings and actively participate in leading conferences on formal methods and verification, e.g. CAV, POPL, TACAS, or OOPSLA.
    • A young, friendly, and highly motivated team
      Our standards: The University of Oldenburg is dedicated to increase the percentage of female employees in the field of science. Therefore, female candidates are strongly encouraged to apply. In accordance to § 21 Section 3 NHG, female candidates with equal qualifications will be preferentially considered. Applicants with disabilities will be given preference in case of equal qualification.
      Further information:There is an opportunity to pursue further academic qualification (PhD).Starting date is 01.12.2026 or as soon as possible.