Postdoctoral Researcher in the Department of Computer Science

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, [email protected]