Two PhD student positions in Algorithms and Complexity, Oxford (UK)

The Verification Research Group is offering two D.Phil studentships in Oxford University's Computing Laboratory (web.comlab.ox.ac.uk). These positions are associated with the EPSRC project "Model Checking Real-Time Systems: Algorithms and Complexity'' under the supervision of Dr James Worrell, which will deal with a logical and automata-theoretic framework for model checking real-time systems.

The studentships will suit candidates with a strong background in theoretical computer science, including at least one of the following areas: algorithms, automata theory, complexity theory and logic.

The closing date for applications is 5th July 2009. For more information, see http://web.comlab.ox.ac.uk/news/94-full.html or contact James Worrell at jbw at comlab.ox.ac.uk.