Two 18-month postdoctoral positions on automated verification of probabilstic programmes, Oxford (UK)

The Oxford University Computing Laboratory is looking to recruit two Grade 7 Postdoctoral Research Assistants to work on the EPSRC-funded project "Automated Verification of Probabilistic Programs", under the direction of Joel Ouaknine, Andrzej Murawski, and James Worrell.

Applicants should have (or shortly expect to receive) a PhD in Computer Science or a closely related field, and either strong programming skills, some experience of tool construction, and basic knowledge of program analysis, or a strong background in theoretical computer science or mathematics and exposure to topics in system or program verification.

Further particulars, including details of how to apply, are available from: http://www.comlab.ox.ac.uk/news/122-full.html or by email request to: job1 at comlab.ox.ac.uk. The closing date for applications is Sunday 20th September 2009.