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

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

Summary and match are AI-generated; verify details on the original posting.

Listed via EURES. All sources