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 tools for solving
parity games or related games, such as mean payoff games. You should
have a relevant PhD and an excellent track record of international
publications in theoretical computer science, automata and game
theory, verification, synthesis, and/or tool development. The post is
available until 31 July 2020. The deadline for application is 29
August 2018.
For full details and to apply online, please visit: https://goo.gl/VQt8dt
Any questions, please write to Sven (sven.schewe@liverpool.ac.uk),
John (john.fearnley@liverpool.ac.uk), or Dominik
(d.wojtczak@liverpool.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/
*
**********************************************************
Posts
