Logic List Mailing Archive

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.

For further details contact Nir Piterman (nir.piterman at le.ac.uk).

For more information, see: 
http://www2.le.ac.uk/offices/jobs/opportunities/direct?newms=jj&id=84620&newlang=1