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.
The post is available 1 August 2017 until 31 July 2020, and the advertisement closes on 5 May.
You can write to Sven ([log in to unmask]), Dominik ([log in to unmask]), or John ([log in to unmask]) for informal inquiries.
For full details and to apply online, please visit: https://recruit.liverpool.ac.uk
|