Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

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 , before 15th November 2010. For more information, see http://www.veriware.org/news.php

Please note that this newsitem has been archived, and may contain outdated information or links.