Postdoctoral position in model checking, Leicester (England)

The department of computer science at the university of Leicester (UK) is offering an RA (post doc) position. The position is funded by EPSRC project "p-Automata - foundations for Probabilistic Model Checking". The research will focus on automata, stochastic games, and probabilistic temporal logic.

The position is for 20 months with a salary of £31,644 to £36,661 per annum depending on qualifications.

Ref Nr: SEN00442. The closing date for this post is midnight on 5 February 2014. For more information, see: http://www2.le.ac.uk/offices/jobs/opportunities/ or contact Nir Piterman (nir.piterman at le.ac.uk).