![]() Форум мехмата МГУ по высшей математике
| Пользователям: | Аксиома — это истина, на которую не хватило доказательств. |
Форумы > Наука и учеба > Аспирантура за границей > Тема |
Объявления | Последний пост | |
---|---|---|
![]() | Работодателям и кадровым агентствам: Размещение вакансий | 26.03.2008 03:07 |
![]() | Правила и принципы форума «Высшая математика» | 28.10.2009 15:17 |
![]() | Книги по математике и экономике в добрые руки! | 10.08.2023 09:45 |
15.12.2008 19:06 Дата регистрации: 16 лет назад Посты: 1 | Аспирантура (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 Редактировалось 1 раз(а). Последний 15.12.2008 20:22. |
Copyright © 2000−2023 MathForum.Ru & MMOnline.Ru Разработка, поддержка и дизайн — MMForce.Net | ![]() | ![]() |