Имеется одна полностью оплачиваемая Аспирантская позиция по проекту "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 LaboratoryFully 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Редактировалось 1 раз(а). Последний 15.12.2008 20:22.