Освітньо-наукова програма «Інженерія програмного забезпечення» (PhD) — це інтелектуальний авангард Computer Science & Systems Engineering. Аспірантура тут — це простір для Technology Visionary & R&D Leader. Твоя місія — розробка нових парадигм програмування, створення методів автоматичної генерації коду за допомогою AI та наукове обґрунтування архітектур для квантових або нейроморфних обчислень. Твоїми об’єктами стануть формальні методи верифікації, моделі самоадаптивного софту та екосистеми розподілених інтелектуальних агентів.
Ціль навчання — сформувати Principal Investigator (PI) або Head of R&D, здатного визначати стратегічні вектори розвитку IT-галузі. Ми навчимо тебе методології наукових досліджень у програмній інженерії, теорії складних мереж та передовим методам аналізу програмного коду. Це найвищий щабель Engineering Science, де теоретичні гіпотези перетворюються на галузеві стандарти. Ти навчишся проектувати системи з гарантованим рівнем надійності для аерокосмічної, медичної та енергетичної сфер, стаючи інтелектуальним лідером цифрової епохи.
Твоя наукова суперсила: Ти розвинеш Theoretical Architecture Mastery та Predictive Software Modeling — здатність математично доводити коректність систем ще до написання першого рядка коду. Твій арсенал PhD включатиме:
- AI-Driven Software Engineering: дослідження моделей LLM для автоматизації рефакторингу та пошуку вразливостей.
- Formal Methods & Semantics: розробка математичних мов для специфікації надскладних розподілених систем.
- Edge & Green Computing: оптимізація архітектур програмного забезпечення для мінімізації енергоспоживання та обробки даних на периферії.
- Cyber-Physical Systems Engineering: проектування софту для взаємодії з фізичним світом у реальному часі (робототехніка, Smart Grid).
Наші доктори філософії — це наукові співробітники у дослідницьких лабораторіях Microsoft Research або Google DeepMind, архітектори з безпеки у спецслужбах, автори міжнародних стандартів IEEE/ISO та професори, що виховують наступні покоління CTO.
Об’єктами діяльності аспірантів є фундаментальні принципи побудови програмних систем; математичні моделі життєвого циклу софту; розробка нових інструментів автоматизації проектування та стратегічний аналіз надійності та безпеки програмних продуктів.
Галузь знань: F "Інформаційні технології"
Спеціальність: F2 "Інженерія програмного забезпечення"
Освітня програма: Інженерія програмного забезпечення
Сертифікат про акредитацію: Започатковано провадження освітньої діяльності з 2025 року.
Структурний підрозділ, відповідальний за набір аспірантів: відділ аспірантури і докторантури
Структурні підрозділи, відповідальні за підготовку аспірантів: кафедра інженерії програмного забезпечення (603) - конкурсна пропозиція: інженерія програмного забезпечення
Наявність заочної форми навчання: є
Можливість підготовки іноземних громадян: є
Ліцензійний обсяг (денна форма): 5
Ліцензійний обсяг (заочна форма): 5