The University of Oldenburg is seeking to fill the following position:
Research Assistant / PhD position in Computing Science
| Paygrade | E13 TV-L |
|---|---|
| Working Hours | 100% (suitable for part-time) |
| Institution | Department of Computing Science (School II of Computing Science, Business Administration, Economics and Law) |
| Location | Oldenburg (Oldb) |
| Application Deadline | 01.10.2026 |
| First day of work | 01.12.2026 |
| Limited | until 30.11.2029 |
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.
Contact
For further information, please contact Prof. Dr. Christoph Matheja ()
Apply now
Please send your application via e-mail by 01.10.2026 to
Please send your application, including the standard documents (cover letter, resume, and transcripts), in a single PDF file.
Unfortunately, travel expenses incurred in connection with the interviews cannot be reimbursed.
Benefits at University of Oldenburg
30 days vacation
Secure remuneration according to collective agreement
Company pension scheme
Further education opportunities
Flexible working hours
Health management
Remote working
Compatibility of career and family
Support with childcare
University Sports Centre
Certificate Bicycle-friendly employer
Corporate Benefits
Back to list
How to apply
- Click on the button below to access the login form of our application portal.
- If you have not already done so, please first click on REGISTER to create a user account.
- We askinternal applicants to register as applicants with a private e-mail address. The university's official e-mail address is reserved for those working on an appointment committee.
- Once you have registered, you can log in with your access data and then start your application.
- You can log in at any time later at https://jobs.uni-oldenburg.de and then access your application.
- General information on the application portal can be found at https://uol.de/bewerbungsportal.