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