PhD Studentships

The Verification Research Group is offering two fully funded D.Phil studentships in Oxford University's Computing Laboratory. 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 algorithmic framework for model checking real-time and hybrid 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, graph theory and logic.

Please email me at jbw@comlab.ox.ac.uk for further details.