Postdoctoral research fellowship in algorithmic game theory, Warwick (England)

A Postdoctoral Research Fellow position in the area of the algorithmic game theory is available for three years. The start date can be negotiated for the right candidate.

The position is in connection with an EPSRC research grant of Dr Marcin Jurdzinski and Dr 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.