At the Faculty II - Computer Science, Economics and Law - of the University of Oldenburg, the Department of Computer Science in the research group "Fundamentals and Applications of Cyber-Physical Systems" (Prof. Dr. Martin Fränzle) is seeking to fill three positions at the earliest possible date for a

Research assistant (f/m/d)
Pay grade 13 TV-L (100%)

The positions are suitable for part-time work and offer the opportunity for academic qualification (doctorate).

Recruitment requirements are a university degree (Master or Diploma (Uni)) in computer science or mathematics. The position is embedded in an international research group working on formal methods for the rigorous design and automated safety analysis of autonomous and cyber-physical systems such as autonomous driving. The ability to work in an international team is therefore desirable; good written and spoken English and German language skills are required.

Applicants will conduct research in:

1. Formal methods for the design of multimodal cyber-physical systems and safety assurance for modular updates of cyber-physical software systems (Position 1, part of the BMBF-funded project "AutoDevSafeOps: Integrated development and operation of safe automotive systems"; limited until September 30, 2025). Applicants for this position should have an interest in contract-based design of cyber-physical systems, formal methods and logic as well as requirements elicitation and design validation and be interested in interdisciplinary collaboration. Experience in the design of embedded and cyber-physical systems and a solid understanding of logical methods of computer science and contract-based approaches to quality assurance of embedded software are required. Basic knowledge in automatic solving of logical satisfiability problems, automated theorem proving and statistical model checking or related automated reasoning techniques is desirable.
   
   
2. Precise monitoring of cyber-physical technology under uncertain observation (position 2, part of the DFG-funded project FR2715/6-1 "PreCePT: Precise monitoring of cyber-physical technology under uncertainty"; limited to 24 months). Candidates applying for this position should have an interest in metrology and in synthesizing runtime monitors from formal specifications. A solid understanding of semantic models for cyber-physical dynamic systems, of arithmetic methods for solving arithmetic constraints and of symbolic model checking and synthesis of reactive systems is required. Basic knowledge of measurement technology and the design of robust systems is desirable.
   
   
3. Contract-based design and analysis of cyber-physical systems under uncertainty (position 3, basic funding by the state of Lower Saxony, position includes 4 LVS; limited to 36 months with the option of extension. The successful candidate will conduct research on the extension of contract-based design methods to achieve quantitative safety goals by design and mathematical verification. He/she has a background in formal methods in computer science or stochastic modeling and analysis and shows an interest in probabilistic models of computation, cyber-physical systems and formal semantics.

Applicants are expected to conduct research leading to a doctoral degree in the above subject areas during their employment. The positions provide opportunities to develop both the research and teaching skills required for a permanent academic or industrial career.

The 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.

Applicants with disabilities with equal aptitude are given preference.

Please send your informative application with the usual documents (cover letter, CV, copies of certificates, references if applicable) electronically in a pdf file to University of Oldenburg, Faculty II, Department of Computer Science, c/o Martin Fränzle () by July 21, 2024. The application must indicate the position(s) for which you are applying.