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)
Postdoc position (m,f,x) for three years on Hyperproperties for Partially Observable Systems under U in Bochum Arbeitgeber: Ruhr-Universität Bochum
Die Ruhr-Universität Bochum bietet eine inspirierende Arbeitsumgebung für Postdoktoranden, die sich für Geowissenschaften und Erdbebenforschung begeistern. Mit Zugang zu modernster Infrastruktur und Daten aus innovativen Projekten in Griechenland fördert die Universität nicht nur die wissenschaftliche Exzellenz, sondern auch die persönliche und berufliche Weiterentwicklung ihrer Mitarbeiter. Die offene und kollaborative Kultur ermöglicht es den Forschern, ihre eigenen Ideen zu entwickeln und in einem dynamischen Team zu arbeiten, was die Ruhr-Universität zu einem hervorragenden Arbeitgeber macht.
