 Форум мехмата МГУ по высшей математике
| Пользователям: | Аксиома — это истина, на которую не хватило доказательств. |
Все посты пользователя
Объявления об аспирантских позициях и научных вакансиях, по техническим и математическим специальностям, в зарубежных университетах.
Аспирантура (DPhil) в Оксфорде, Великобритания - 14 лет назад
Имеется одна полностью оплачиваемая Аспирантская позиция по проекту "ConDOR" в Компьютерной Лаборатории Университете Оксфорда. Тема: разработка дедуктивных алгоритмов для автоматического доказательства в языках для представления информации (Ontology Languages). Подтема для аспиранта: разработка практических методов решения системы уравнений (constraints) над множествами и их кардинавтор ejcj - Аспирантура за границей