Postdoc in Verification and Game Theory, Liverpool (UK)

We have an opening for a postdoc position in the intersection of Game Theory, Automata/Logics and Computer-aided Formal Verification.

The position is funded through the upcoming EPSRC project "Games for Good" with Patrick Totzke, Sven Schewe and Qiyi Tang. This project aims to better understand the notion of good-for-games (GfG) and related restricted forms of non-determinism, especially for computational models with infinite state spaces. We will investigate new ways to restrict non-determinism that maintain high expressiveness while simultaneously allowing for efficient verification procedures. In particular, we plan to study stochastic variants of history-determinism, such as automata that are good-for-Markov chains / Markov Decision Processes, as well as stochastic resolvers and their memory requirements.

The position is for 3 years; the starting date is flexible but should be early in 2024.