Postdoctoral position in solving parity games, Liverpool (England)

We are looking for a motivated and enthusiastic individual to work on the project Solving Parity Games in Theory and Practice with Sven Schewe, John Fearnley, and Dominik Wojtczak. The project is in collaboration with the University of Warwick. Our vibrant team also includes a number of PhD students and international visitors.

You can enjoy developing theories, algorithms, and/or tools for solving parity games or related games, such as mean payoff games. You should have a PhD in Mathematics, Computer Science or relevant subject and an excellent track record of publications in theoretical computer science, automata- and game-theory, verification, synthesis, and/or tool development.

You can write to Sven (sven.schewe at liverpool.ac.uk), Dominik (d.wojtczak at liverpool.ac.uk), or John (fearnley at liverpool.ac.uk) for informal inquiries.