Research Assistant in Verification of Stochastic Systems

Grade 7: £30,434 - £37,394 p.a. (fixed term for up to 12 months).

The department has a new opportunity on the EPSRC project “Towards comprehensive verification of stochastic systems” led by Dr Vojtěch Forejt, covering both theoretical and practical aspects of verification and controller synthesis problems for Markov decision processes against complex quantitative properties.

The project aims to develop techniques for reasoning about more involved objectives, and will develop new techniques for multi-objective synthesis, and for giving users detailed information about distributions of possible outcomes of executions. The scope includes both foundational issues, such as decidability of the problems, and more applied aspects such as improving the algorithms so as to avoid state-space explosion, and implementing the algorithms.

You should have a PhD (or be close to completion) in a relevant area of science, together with a documented track record of published research, as well as the ability to contribute ideas for new research projects, including research income generation. Experience of actively collaborating in developing articles for publication, and of independently managing a discrete area of a research project are desirable.

The post, which is a full time appointment, is funded by EPSRC and is available for up to 12 months, has a salary on the University grade 07S scale (currently £30,434 - £37,394 p.a.). This includes membership of the University Superannuation Scheme (USS) and has an annual leave entitlement of 38 days per year (inclusive of all public holidays and university closed periods).