Аспирантура (DPhil) в Оксфорде, Великобритания

Имеется одна полностью оплачиваемая Аспирантская позиция по проекту "ConDOR" в Компьютерной Лаборатории Университете Оксфорда.

Тема: разработка дедуктивных алгоритмов для автоматического доказательства в языках для представления информации (Ontology Languages).

Подтема для аспиранта: разработка практических методов решения системы уравнений (constraints) над множествами и их кардинальтостями. Пример задачи: даны три множества А B C, каждое содержит минимум 5 элементов; попарное пересечение любых двух содержит максимум 3 элемента. Может ли объединение А B и С содержать 6 элементов? 7 элементов? 8 элементов? Необходимо разработать алгоритм решающие подобные системы уравнений и внедрить его в систему разрабатываемую в ходе проекта (ontology reasoner). Знакомство с методами (целочисленного) линейного программирования (задачи оптимизации, симплекс метод, Fourier-Motzkin elimination algorithm) а также с языками предтставления информации (knowledge representation languages: description languages, ontology languages, modal languages) будет плюсом для кандидата.

Срок подачи заявлений: до 1 Февраля 2009. Дата начала аспирантуры по выбору до 1 Октября 2009 (при условии получения диплома высшего образования до этого срока).


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 Sunday 1st February 2009.

Oxford University is an 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