Erstellt am 3. Juni 2026
Postdoctoral Researcher in the Department of Computer Science
Carl von Ossietzky Universität Oldenburg
Oldenburg 26129, Germany
Vollzeit
Reference: 1266965535
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:
Your profile:
Recruitment requirements are:
Ideally you already have:
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.
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.
