[DMANET] PhD position on Games/Automata/Verification, Liverpool UK

We are seeking to recruit a motivated student to work on the intersection of Automata/Logics and Algorithmic Game Theory.

You will enjoy developing theories, algorithms, and software tools. Depending on the strengths and interests of the candidate they will either focus on the complexity of strategies in (stochastic) games or formal languages of counter automata. The position includes collaboration with our partners, research visits across Europe, and the chance to get involved with an industrial partner.

The position is fully funded at UK home rate (see below) for 3.5 years.

Application Deadline: 31 January 2022
Details: https://www.liverpool.ac.uk/study/postgraduate-research/studentships/games-automata-verification/
Informal enquiries should be addressed to Patrick Totzke: totzke@liverpool.ac.uk.


Please feel free to circulate as appropriate.
Kind regards,
P



Requirements
-------------

You should have, or be about to obtain, a Masters degree (or equivalent) in Computer Science, Mathematics, or a closely related field and a strong interest in theoretical computer science.

The applicant must be ready to commence their studies on or before 1st July 2022 and be UK citizen or have UK settled status to qualify for the funding.


Department
-----------

The Department of Computer Science at the University of Liverpool is very strong in terms of research environment and outputs as evidenced by being ranked 1st for 4* and 3* research in the last UK Research Excellence Framework.

We are particularly active in Formal Methods and home to leading experts in Formal Verification, Automata, Logics, Algorithms, Game Theory and their application in AI and computer science.
https://tcs.csc.liv.ac.uk/

**********************************************************
*
* 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/
*
**********************************************************