Wednesday, April 26, 2017

[DMANET] PostDoc Position in Developing New Algorithms for Solving Parity Games

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 (, Dominik
(, or John ( for
informal inquiries.

For full details and to apply online, please visit:
* Contributions to be spread via DMANET are submitted to
* 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.