The position is in connection with an EPSRC research grant of Dr Marcin Jurdzinski and Prof Ranko Lazic on Solving Parity Games in Theory and Practice. Parity games are an intriguing problem class, because they are simple to state and have proven to be resistant to countless attempts to classify their complexity. At the same time, algorithms for solving parity games play a paramount role in model checking, satisfiability checking, and synthesis. The main objective of the post is to pursue cutting-edge research on algorithms and solvers for parity games, as well as mean payoff, discounted payoff, and simple stochastic games.
You will have a strong background in Theoretical Computer Science, with a specialisation in Algorithmic Game Theory, Automata Theory or Model Checking. You will have (or expect to obtain shortly) a PhD in the relevant area. You should provide with your application form a CV, including a list of publications, a research statement, and a short statement highlighting your suitability for this post.
You will be formally based in the Department of Computer Science at the University of Warwick, and you will be associated with the Centre for Discrete Mathematics and its Applications (DIMAP, http://www2.warwick.ac.uk/fac/cross_fac/dimap) and the Division of Theory and Foundations (https://warwick.ac.uk/fac/sci/dcs/research/focs/people/) at the University of Warwick. The project will be collaborative with Prof Sven Schewe, Dr John Fearnley and Dr Dominik Wojtczak at the University of Liverpool.
The closing date for applying is 30 June 2019. Please see the full advertisement at:
https://atsv7.wcn.co.uk/search_engine/jobs.cgi?owner=5062452&ownertype=fair&jcode=1810642&vt_template=1457&adminview=1
________________________________
**********************************************************
*
* 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
