Erstellt am 8. August 2026
Research Assistant / PhD position in Computing Science
Carl von Ossietzky Universität Oldenburg
Oldenburg 26129, Germany
Vollzeit
Reference: 1504703414
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:
Requirements
Advantageous
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.
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
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
- 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
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.
