Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] D.Phil (PhD) Studentship on ConDOR project at ...


view this post on Zulip Email Gateway (Aug 18 2022 at 12:43):

From: Ian.Horrocks@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@comlab.ox.ac.uk) or Prof Ian Horrocks (ian.horrocks@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


Last updated: Nov 21 2024 at 12:39 UTC