PhD studentship in probabilistic model checking, Oxford (U.K.)

One Doctoral Studentship is available in association with ERC Advanced Grant VERIWARE led by Professor Marta Kwiatkowska. Two one year Research Assistant positions (Grade 6 and Grade 7) in probabilistic model checking are expected to be announced shortly, supervised by Professor Marta Kwiatkowska and Dr Dave Parker. The successful applicants will be working with the probabilistic model checker PRISM (http://www.prismmodelchecker.org/).

Informal enquiries enclosing CVs should be sent to Professsor Marta Kwiatkowska, email Marta.Kwiatkowska at comlab.ox.ac.uk, before 15th November 2010. For more information, see http://www.veriware.org/news.php