Logic List Mailing Archive

CfA: Postdoc in Verification and Game Theory, University of Liverpool (UK), Deadline: 10 November 2023

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@liverpool.ac.uk

Best wishes,
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php