---------- Forwarded message ---------- 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/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
