One full-time Postdoc position (m,f,x) for three years on Hyperproperties for Partially Observable S

Ruhr-Universität Bochum; Bochum; Vor Ort; EUR 45.000 - 60.000; Vollzeit

Zusammenfassung

Ruhr-Universität Bochum, in Germany, invites applications for a full-time Postdoc position focused on hyperproperties for partially observable systems under uncertainty. The role emphasizes formal verification, probabilistic model checking, and strategy synthesis to advance trustworthy autonomous systems.

The fixed-term project spans three years, with a start date of 01.01.2027 and an application deadline of 2026-10-05.

Qualifikationen

• Master’s degree and PhD in Computer Science or Mathematics.
• Excellent interpersonal and communication skills in English.
• Background in formal verification, probabilistic model checking, MDPs, and strategy synthesis.

Aufgaben

• Conduct research in hyperproperties for partially observable systems under uncertainty.
• Support teaching by conducting exercises and organizing seminars and lectures.
• Establish and develop an independent line of research with rigorous objectives.

Kenntnisse

Interpersonal skills

English proficiency

Formal verification

Probabilistic model checking

MDPs / stochastic games

Strategy synthesis

Hyperproperties verification

Quantitative reasoning

Ausbildung

Master’s degree and PhD in Computer Science or Mathematics

Jobbeschreibung

In order to fill a fixed-term position in full-time (39.83 hours/week = 100%) 01.01.2027, we are looking for

One full-time Postdoc position (m,f,x) for three years on Hyperproperties for Partially Observable Systems under Uncertainty (TV-L E14, 39.83 hours per week)

The chair of Artificial Intelligence and Formal Methods at the Ruhr-University Bochum in Germany (headed by Prof. Dr. Nils Jansen) conducts broad foundational and application-driven research on decision-making under uncertainty.

We are seeking a highly motivated postdoctoral researcher to develop formal methods for specifying and verifying hyperproperties of partially observable systems operating under uncertainty. The project combines techniques from formal verification, probabilistic model checking, quantitative reasoning, and strategy synthesis to analyze systems whose behavior depends on incomplete information and stochastic environments. The research is motivated by the growing need to ensure security and safety in autonomous, cyber-physical, and AI-enabled systems. Hyperproperties provide a powerful framework for expressing requirements such as information-flow security, privacy, and consistency across multiple executions, while partial observability and uncertainty reflect the challenges of real-world decision-making systems. The project aims to advance verification and synthesis techniques for trustworthy systems with rigorous correctness guarantees.

Scope

• Scope: full-time
• Duration: fixed-term, 3 years
• Start: 01.01.2027
• Apply by: 2026-10-05

Your tasks

• The main task of this position is to conduct research in the research areas listed above
• Support of the chair’s teaching program in the form of conducting exercises and the organization of seminars and lectures
• Establishment and further development of an in-house, independent line of research for the independent scientific investigation of topics and the establishment of an independent research perspective

Your profile

• Master’s degree and PhD in Computer Science or Mathematics
• Excellent interpersonal and communication skills in English
• Background in one or more of the following areas:
  • Formal verification and probabilistic model checking
  • MDPs, stochastic games, and strategy synthesis
  • Hyperproperties and information-flow verification
  • Quantitative reasoning and uncertainty-aware verification

https://jobs.ruhr-uni-bochum.de/jobposting/63542d9fc9e7bcd357ffbee3003e40b2ac0cde870?ref=AfA