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. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]