Logic List Mailing Archive

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. For more information see:
http://www.comlab.ox.ac.uk/news/236-full.html

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@comlab.ox.ac.uk, before 15th November 
2010.

-- 
Professor Marta Kwiatkowska
Fellow of Trinity College
Director of Graduate Studies

Oxford University Computing Laboratory
Wolfson Building, Parks Road
Oxford, OX1 3QD

Tel: +44 (0)1865 283509 (office)
Email: Marta.Kwiatkowska@comlab.ox.ac.uk
URL: http://web.comlab.ox.ac.uk/people/Marta.Kwiatkowska/