Аспірантура з комп’ютерних наук в Австралії
До уваги студентів технічних та математичних спеціальностей!
Доктор Сергій Богомолов пропонує можливість навчання в аспірантурі у його дослідницькій групі (Австралійський національний університет, 20-те місце у світі згідно з рейтингом QS World University Rankings за 2018 рік).
PhD_students.pdf — Опис аспірантури з комп’ютерних наук в Австралійському національному університеті
Для відбору кандидатів оголошується конкурс на тему «Верифікація автономних транспортних систем». Бажаючим взяти участь у конкурсі слід отримати логін та пароль до тестової системи у Костянтина Потьомкіна ( kostiantyn.potomkinanu.edu.au).
У рамках конкурсу пропонується вирішити низку завдань, які дозволяють реалізувати алгоритм автоматичної верифікації для певного класу динамічних систем. Рішення завдань приймаються онлайн до 20 травня 2018 року за адресою anu.dots.org.ua.
Учасникам, які успішно вирішать запропоновані задачі, буде запропоновано пройти співбесіду. Позитивний результат співбесіди дасть можливість отримати фінансування для навчання в аспірантурі з метою здобуття ступеня PhD з комп’ютерних наук у дослідницькій групі доктора Сергія Богомолова в Австралійському національному університеті.
Доктор Богомолов буде в Харкові 23-27 квітня 2018 року і готовий відповісти на запитання під час особистої зустрічі.