Postdoc position (m,f,x) for three years on Hyperproperties for Partially Observable Systems under U

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: 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:

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](https://jobs.ruhr-uni-bochum.de/jobposting/63542d9fc9e7bcd357ffbee3003e40b2ac0cde870?ref=AfA)