[Agda] D.Phil (PhD) Studentship on ConDOR project at Oxford University Computing Laboratory

[Ian.Horrocks at comlab.ox.ac.uk]

OXFORD UNIVERSITY COMPUTING LABORATORY

Fully Funded D.Phil (PhD) Studentship

Project: ConDOR: Consequence-Driven Ontology Reasoning

The Knowledge Representation and Reasoning Group is offering a fully funded D. Phil (PhD) position at Oxford University's Computing Laboratory. The post is funded by EPSRC as part of the ConDOR project [1]. The aim of the project is to investigate alternative kinds of "consequence driven" reasoning procedures for widely used knowledge representation formalisms, including the W3C's OWL ontology language [2].

The studentship is fully funded (at EU fees level), and includes a stipend of at least £12,940 per year as well as provision for travel to conferences. Students admitted with a start date between 1st January and 1st October, 2009 will receive a guarantee of 3 years funding. The successful candidate will join an internationally renowned research group [2] working on a cutting edge research problem in an attractive and stimulating environment within one of the worlds leading universities and computer science departments [3].

Further details, including eligibility requirements and application are available from [4]. Prospective candidates are also welcome to contact Dr Yevgeny Kazakov (yevgeny.kazakov at comlab.ox.ac.uk) or Prof Ian Horrocks (ian.horrocks at comlab.ox.ac.uk) for further information about the project and/or the post.

The closing date for applications is Tuesday 20th January 2009.

Oxford University is and Equal Opportunities Employer.

[1] http://web.comlab.ox.ac.uk/projects/ConDOR/index.html
[2] http://en.wikipedia.org/wiki/Web_Ontology_Language
[3] http://web.comlab.ox.ac.uk/
[4] http://web.comlab.ox.ac.uk/news/56-full.html

--
Prof Ian Horrocks
Oxford University Computing Laboratory

Wolfson Building, Parks Road, Oxford OX1 3QD, UK
Tel: +44 (0)1865 273939  FAX: +44 (0)1865 273839
Email: ian.horrocks at comlab.ox.ac.uk
Web: http://www.comlab.ox.ac.uk/people/ian.horrocks/