Posted on behalf of Marta Kwiatkowska ([email protected]). ----
[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 [email protected], 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: [email protected] URL: http://web.comlab.ox.ac.uk/people/Marta.Kwiatkowska/ ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
