Системное программирование

Наибольшее внимание в магистерской программе уделяется: 

• технологиям разработки операционных систем; 
• средствам анализа и трансформации программ (верификации, тестированию на основе формальных моделей и др.); 
• инструментам интеллектуального анализа текстов. 

Магистерская программа разработана в рамках научной школы академика В.П. Иванникова (основателя и первого директора Института системного программирования Российской академии наук) и реализуется, главным образом, силами базовой кафедры института при ФКН ВШЭ.

Наши учебные курсы охватывают широкий ряд тем:

• верификация программного обеспечения; 
• компиляторные технологии; 
• компьютерные сети и телекоммуникации; 
• конструирование ядра операционных систем; 
• научная визуализация; 
• параллельное программирование; 
• перспективные системы управления базами данных (СУБД); 
• прикладной системный анализ; 
• теоретическая криптография; 
• формальные методы программной инженерии; 
• формальные методы верификации и тестирования телекоммуникационных протоколов и сервисов.

Наши студенты получают компетенции, востребованные на рынке труда и в России, и за рубежом. Обучение охватывает весь спектр знаний, необходимых для работы по таким специальностям, как архитектор и проектировщик программных систем, разработчик инструментов и программных платформ и др.

Наши выпускники могут сделать карьеру в науке и одновременно добиться успеха в реализации коммерческих проектов.

Наши преподаватели – научные сотрудники с большим опытом практической работы. Среди них – руководители совместных проектов с крупными российскими и зарубежными компаниями.

Во время обучения студенты могут не только учиться, но и участвовать в реальных проектах и видеть, как их технологии внедряются в индустрии.

А еще у студентов ВШЭ есть возможность получать повышенную стипендию от ИСП РАН.

В каких проектах участвуют студенты, можно узнать здесь.

Специалисты по системному программированию, прошедшие обучение в рамках магистерской программы, работают в совместных проектах с такими известными IT-компаниями, как Samsung, Huawei, Bentley Systems; в проектах по разработке операционных систем реального времени (Jet OS, ГосНИИАС), в области цифровой медицины (совместно с Израильским технологическим институтом «Технион», с Сеченовским университетом).

Кроме того, они вносят заметный вклад в развитие международных открытых проектов (компиляторы GCC и LLVM, ОС Linux, платформа программной эмуляции QEMU и многие другие).

Чтобы поступить в магистратуру, нужно сдать вступительные экзамены, которые проходят в форме собеседования по списку вопросов.

Во время собеседования абитуриент рассказывает о себе, о своём опыте в программировании и о своих ожиданиях от обучения в рамках нашей магистерской программы. Затем он получает 1-2 вопроса, и после некоторого времени на подготовку отвечает и на них, и на дополнительные вопросы. Как правило, часть вопросов связана с темами, к которым у абитуриента есть повышенный интерес.

Прием документов с 29.06 по 25.07.2023 года. Детальная информация будет размещена на сайте приемной комиссии НИУ ВШЭ.

Поступление на общих основаниях регламентируется Правилами приема.