Logic List Mailing Archive

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 are fully funded at EU fees level (non-EU candidates will
 
need supplementary funding) for 3 ½ years from 1st October 2009. Stude
nts 
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.