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 are fully funded at EU fees level (non-EU candidates will need supplementary funding) for 3 ½ years from 1st October 2009. Students admitted with a later start date (but not later than April 1st 2010) will receive a guarantee of 3 years funding.  Each studentship includes a stipend of at least £13290 per year as well as provision for travel to conferences.

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.

Please contact James Worrell (jbw@comlab.ox.ac.uk) for further details.