09.04.04«Программная инженерия»
09.04.04_01 «Технология разработки и сопровождения качественного программного продукта»
Программа ориентирована на подготовку квалифицированных специалистов в области промышленной разработки и сопровождения качественного программного обеспечения, способных организовать процессы в рамках крупных проектов. Студенты получают знания по всему комплексу современных средств программной инженерии в областях: большие данные, машинное обучение, суперкомпьютерные технологии, теория и технология программирования, верификация и тестирование. Выпускники успешно работают над выполнением проектов в промышленных и исследовательских компаниях.
Ключевые особенности:
В преподавании участвуют действующие руководители и программисты ведущих IT-компаний. Студенты и аспиранты участвуют в ежегодной конкурс-конференции «Современные технологии в теории и практике программирования».
Варианты обучения:
Очное
бюджет, контракт
- Верификация распределенных алгоритмов и систем
- Конструирование программного обеспечения
- Наука о данных и аналитика больших объемов информации
- Методы компиляции для архитектур суперкомпьютеров
- Промежуточные представления компиляторов и кодогенерация
- Функциональное и логическое программирование
- Технологии верификации и тестирования программного обеспечения
- Моделирование программного обеспечения на UML
- Архитектор программного обеспечения
- Специалист по информационным системам
- Системный аналитик
- Руководитель проектов по разработке ПО
- Системный программист
- Алгоритм семантического анализа предложений на естественном языке с использованием формального представления AMR и методов машинного обучения
- Разработка сервисов и методики сопровождения микросервисной архитектуры ПО
- Разработка сервиса для покупки и продажи видеоконтента на основе технологии блокчейн
- Разработка подхода к сквозному тестированию приложения для управления конфигурацией виртуальной инфраструктуры предприятия
- Разработка программной системы для распознавания заболеваний легких на основе рентгенографии грудной клетки
- Методология внедрения бессерверных технологий в систему с микросервисной архитектурой