Postdoctoral Research Associate in Verification - Grade 7

We are seeking to recruit a motivated postdoctoral researcher in Verification and Game Theory. You will enjoy developing algorithms, lower bounds, and possibly proof-of-concept implementations related to computer-aided formal verification.

The position is funded through the EPSRC-Project Games for Good grant, with Patrick Totzke, Sven Schewe and Qiyi Tang. Collaborations with other local and external academic partners is encouraged and supported.

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

This post is fixed term until 31^st July 2027.

You should have, or be 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 Games related to Reactive Synthesis
• Model checking tools and algorithms
• Logics and verification techniques
• Transducers, Weighted Automata, Probabilistic Automata
• Stochastic Games
• Infinite-state models
• Parametrised Control Problems

The ideal candidate has excellent verbal and written communication skills, is able to organise their own work with minimal supervision, and also prioritise work to meet deadlines. Most importantly, they have fun toying around with formal structures and pushing algorithmic ideas to their limit with us.

If you are still awaiting your PhD to be awarded you will be appointed at Grade 6, spine point 30. Upon written confirmation that you have been awarded your PhD, your salary will be increased to Grade 7, spine point 31.

Commitment to Diversity

The University of Liverpool is committed to enhancing workforce diversity. We actively seek to attract, develop, and retain colleagues with diverse backgrounds and perspectives. We welcome applications from all genders/gender identities, Black, Asian, or Minority Ethnic backgrounds, individuals living with a disability, and members of the LGBTQIA+ community.

For full details and to apply online, please visit: recruit.liverpool.ac.uk

Advert information