В ИТМО стартует корпоративная магистратура YADRO, где научат создавать среды разработки и инструменты программирования
Привет, Хабр!
Продолжаем держать в курсе наших образовательных проектов.
В Университете ИТМО при поддержке YADRO открылась новая корпоративная магистерская программа «Инструменты разработки и анализа программ». Она ориентирована на будущих разработчиков многофункциональных инструментов и компонентов для них — ими пользуются для написания программных решений для самых разных сфер от финансов и транспорта до медицины и энергетики. Детали и условия — ниже.
В процессе учёбы студенты научатся создавать анализаторы кода, фаззеры, IDE (Integrated Development Environment), дебаггеры и профайлеры, а также проектировать новые языки программирования и разрабатывать для них компиляторы.
Разработка инструментального программного обеспечения является наукоёмкой областью, требующей вычислительных ресурсов и глубоких знаний от специалистов. Разработчики должны понимать, как устроено программное обеспечение, и знать формальные методы работы с ним. Поэтому сначала студенты изучат фундаментальные дисциплины, посвященные формальным методам и базовым вопросам о том, как обеспечить жизненный цикл ПО, после чего перейдут к освоению профильных треков.
Магистрантам предложат выбрать три трека из восьми:
1. Статический анализ программ
2. Динамический анализ программ
3. Верификация ПО
4. Проектирование компиляторов
5. Проектирование языков программирования
6. Проектирование сред разработки
7. Виртуальные машины
8. Свободный трек (студенты смогут выбирать дисциплины, которые преподаются на других образовательных программах Института прикладных компьютерных наук)
Корпоративная магистратура открыта в рамках направления подготовки 09.04.01 «Программная инженерия». Форма обучения очная, но отдельные курсы пройдут онлайн. Программа построена таким образом, чтобы студенты могли совмещать учёбу с 20-часовой рабочей неделей.
Выпускники смогут построить карьеру разработчика или архитектора IDE и компиляторов, руководителя исследований в области качества программного обеспечения, инженера по качеству, фаззинг-инженера, специалиста по автоматизации QA.
Для поступления и успешного обучения необходимо профильное бакалаврское образование, полученное по таким направлениям, как информатика и вычислительная техника, информационные системы и технологии, программная инженерия, прикладная информатика, математика и компьютерные науки. Также понадобится опыт использования инструментов разработки и анализа программ.
Узнать больше о программе и поступлении можно по ссылке, присоединиться к чату абитуриентов в Telegram — здесь. По традиции задавайте вопросы в комментариях к этому посту.
