Skip to main content

Two Fully Funded Doctoral Studentships in Artificial Intelligence/Computational Logic

Posted: 19th May 2009


The Information Systems Research Group is offering two fully funded D.Phil studentships in Oxford University's Computing Laboratory.  These positions are associated with the EPSRC project  "Constraint Satisfaction for Configuration: Logical Fundamentals, Algorithms, and Complexity", under the supervision of Professor Georg Gottlob (Principal Investigator) and Professor Peter Jeavons (co-Investigator), which will deal with a logical and algorithmic framework for the automatic configuration of systems and products. 


The studentships are fully funded (at EU fees level - overseas 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.


Candidates must satisfy the usual requirements


for studying for a doctorate at Oxford. In addition, the students should be skilled in theoretical computer science and/or computational logic, and must have good writing, communication, presentation, and organization skills Good programming and systems-building skills count as additional qualification, given that, based on the theoretical results of this project, a prototype software system for configuration will be built. 


The closing date for applications is 10th June 2009.

Further Information and how to apply can be found here: