At the Faculty II - Computer Science, Economics and Law - of the University of Oldenburg in the Department of Computer Science in the research group Formal Methods (Prof. Dr. Heike Wehrheim) there is a position as a

Research Assistant (m/f/d)
Salary grade 13 TV-L (100%)

to be filled as soon as possible for 3 years. The position is suitable for part-time work. There is the option of further scientific qualification. The position is part of a DFG-funded project on “Cooperative Verification”, which is being carried out jointly with a research group in Munich.

The Formal Methods research group develops formal techniques for the specification and verification of software systems. The successful candidate for this position is expected to conduct research in the area of software analysis, particularly in the combination of different automatic or interactive software verification approaches.

Applicants must have successfully completed a university degree (Diploma (Uni)/Master) in Computer Science. Knowledge in areas such as data flow analysis, model checking, abstract interpretation or similar would also be desirable and an interest in tool development is expected. Applicants with a completed PhD in Computer Science are expected to have peer-reviewed publications in the field of formal methods. Good written and spoken English and a strong interest in teamwork and teaching are expected.

The Carl von Ossietzky University of Oldenburg aims to increase the proportion of women in science. Women are therefore strongly encouraged to apply. According to § 21 para. 3 NHG, female applicants with equivalent qualifications should be given preferential consideration. Severely disabled persons will be given preference if equally qualified.

Applications with an informative CV, letter of motivation and copies of the most important certificates should be sent by e-mail as one coherent PDF document to Marion Bramkamp () by 01.10.2024.