Logic List Mailing Archive

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.

The post is available 1 August 2017 until 31 July 2020, and the 
advertisement closes on 5 May.

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

For full details and to apply online, please visit: 
https://recruit.liverpool.ac.uk
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam