[Job-offers-cs] Postdoc in Verification and Game Theory at the University of Liverpool

[Pekka Orponen]

Dear colleagues,

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.
Ideal candidates have, or are about to obtain, a PhD in Theoretical 
Computer Science, Mathematics, or a closely related field together with 
an excellent track record of international publications. Examples of 
fields of interests are:
- Automata and Game Theory, - Infinite-state models (e.g. Counter, 
Pushdown, and Timed automata), - Model checking tools and algorithms, - 
Logics and verification techniques, - Stochastic Games

The position is for 3 years; the starting date is flexible but should be 
early in 2024.
For full details please visit: 
https://www.jobs.ac.uk/job/DDK022/postdoctoral-research-associate-in-verification>For 
informal enquiries please get in touch be email to totzke at liverpool.ac.uk

Best wishes,
P