PhD student position on discrete-time models with uncertainty, Liverpool (England)

A fully funded 3-year PhD position is available at the Computer Science Department of the University of Liverpool, UK. The successful candidate will do research in the areas of verification, theory of computation and algorithms designing new methods for predictability of probabilistic discrete-time models. This PhD project will focus on theoretic limits, algorithm design and implementation of new verification procedures. We are interested to develop and apply new methods in the area of infectious disease control, where the model of disease spreading can be seen as a multilayer probabilistic system with complex dynamics and significant level of uncertainty.

The candidate will be supervised by Dr. Igor Potapov, and will become a member of Automata, Computability and Complexity Theory Group at the Department of Computer Science. In addition due to interdisciplinary nature of the proposal the position will be co-supervised by Dr. Kieran Sharkey (Mathematical Sciences) and Prof. Matthew Baylis (Epidemiology and Population Health). The selected candidate can start this position immediately, but the latest starting date for this fully-funded PhD position is 1 March 2018.