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,
P
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
