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.