Monday, October 25, 2010

[qest-announce] Positions in quantitative/probabilistic model checking at Oxford

[Please forward to anyone who might be interested. Apologies for
multiple mailing.]

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/
_______________________________________________
qest-announce mailing list
qest-announce@iti.uiuc.edu
http://mailman.crhc.uiuc.edu/mailman/listinfo/qest-announce