AISB opportunities Bulletin Item
Two PhD student positions in Algorithms and Complexity, Oxford
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 (firstname.lastname@example.org) for further details.