The University of Oldenburg is seeking to fill the following position:
Postdoctoral Researcher in the Department of Computer Science
| Paygrade | E13 TV-L |
|---|---|
| Working Hours | 100%
(suitable for part-time) |
| Institution | School II of Computing Science, Business Administration, Economics and Law, Department of Computing Science |
| Location | Oldenburg (Oldb) |
| Application Deadline | 15.06.2026 |
| First day of work | 01.09.2026 |
| Limited | initially until 31.03.2028 |
About us
The research group formal methods develops techniques for the specification and verification of software systems. In this, both theoretical concepts and efficient implementations are developed. The advertised position is funded by the German Research Council DFG and the successful candidate is supposed to work on techniques for cooperative verification. The project is jointly carried out with a research group at LMU Munich.
Your tasks
- conceptual development of methods for the cooperation of verification tools and/or the
- cooperation of tools with Large Language Models
- correctness proofs of the developed concepts
- efficient implementations and extensive evaluation
Your profile
Recruitment requirements are:
- a completed scientific university degree (Diploma/Master (University) in Computer Science
- PhD in Computer Science
- peer reviewed publications in the area of formal methods
- very good programming skills
- good oral and written skills in English
Ideally you already have:
- knowledge of verification approaches and tools
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
An extension of the contract to a total duration of two years is envisaged.
Starting date is 01.09.2026 or later.
Contact
For further information, please contact Prof. Dr. Heike Wehrheim,
Apply now
Please send your application via e-mail by 15.06.2026 to
Applications with an informative CV, letter of motivation and copies of the most important certificates should be sent as one coherent PDF document.
Unfortunately, travel expenses incurred during 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
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.
Internetkoordinator
(Changed: 21 Apr 2026)
| Kurz-URL:Shortlink: https://uol.de/job1096en
Um dich für diesen Job zu bewerben, besuche bitte uol.de.