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 automatic verification approaches and tools
• practical experience with LLMs

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.

Contact

For further information, please contact Prof. Dr. Heike Wehrheim, heike.wehrheim@uni-oldenburg.de

Apply now

Please send your application via e-mail by 01.11.2025 to

marion.bramkamp@uni-oldenburg.de

Applications with an informative CV, letter of motivation and copies of the most important certificates with the keyword "Coop” as one coherent PDF document.

Unfortunately, travel expenses incurred during interviews cannot be reimbursed.