Разработка программного обеспечения и науки о данных

Компьютерные науки — письменный экзамен (для граждан РФ и соотечественников)

Курсы по анализу данных:

• Байесовские методы в машинном обучении
• Компьютерное зрение
• Нейробайесовские методы
• Глубокое обучение
• Обучение с подкреплением
• Разработка беспилотников
• Обработка естественного языка

Курсы по верификации и валидации программ:

• Введение в формальные методы верификации программ
• Математическая логика
• Теория типов и языки программирования
• Верификация моделей программ
• Верификация конкурентных и распределенных программ (TLA+)
• Языки программирования с зависимыми типами
• Открытые проекты по верификации ПО

Курсы по архитектуре больших систем:

• Архитектура и проектирование информационных систем

• Распределенные вычисления 

• Виртуализация и облачные технологии

• Инфраструктура распределённых систем

• Технологии хранения и обработки больших данных

• Предметно-ориентированное программирование

• Компьютерная безопасность

Программа также дает возможность каждый семестр дополнительно выбрать два курса из огромного перечня дисциплин вариативной части по разным направлениям

• Основа программы — гибкая система треков в широком спектре от теории до практики и управления процессами. Основные треки — анализ данных, верификация и валидация программ и архитектура больших систем — идут два года. Студенты сами выбирают, какими годичными треками дополнить свою программу
• Возможность построить индивидуальную траекторию и доступ к огромному выбору курсов факультета математики и компьютерных наук 188bet体育_188bet亚洲体育_点此进入. Кроме того, на факультете проводятся открытые лекции и конференции, а также много внутренних научных и образовательных событий, в них можно принимать участие и даже создавать свои
• Большое количество практики в каждом семестре. В каждом семестре студенты работают самостоятельно над семестровым (первый год обучения) или дипломным (второй год обучения) проектом. Он может быть исследовательским или практическим, задачи поступают напрямую из индустрии
• Каждый трек снабжен семинаром или ридинг-группой, на которой разбирается актуальная для области ситуация (студенты разбирают статьи или читают книги). По теме семинара студенты вовлекаются в практическую деятельность, разную для треков, например, по анализу данных можно воспроизводить результаты статей и пытаться их улучшать
• Небольшой набор позволяет реализовать индивидуальный подход к студентам. Программа ориентирована на подготовленных по математике студентов, что позволяет, с одной стороны, углублять материал курсов, а с другой — учиться в сильном окружении
• Сотрудничество с Яндекс, VK и другими известными исследовательскими и IT-компаниями позволяет нам отбирать лучшие проекты для практики, выплачивать повышенные стипендии, организовывать внеучебные мероприятия
• Престижный диплом старейшего Университета включает английский язык в сфере профессиональной коммуникации, а также онлайн-курсы по общему развитию от преподавателей 188bet体育_188bet亚洲体育_点此进入

У многих преподавателей программы есть научные связи в различных университетах мира. Преподаватели деятельно участвуют в международной научной жизни. Благодаря этому перед студентами открывается широкий выбор возможностей приобрести международный опыт: участие в совместных исследованиях, конференциях и семинарах.

Места прохождения практики

В каждом семестре студенты много работают самостоятельно над семестровым (первый год обучения) или дипломным (второй год обучения) проектом. Он может быть исследовательским или практическим. Задачи поступают напрямую из индустрии, а руководителями выступают представители IT-компаний и научные сотрудники лабораторий. Список доступных проектов формируется перед началом каждого семестра и список компаний постоянно обновляется. В числе постоянных мест практики: Яндекс, Huawei, Газпром нефть, ВКонтакте и другие.

Перечень ключевых профессий

188bet体育_188bet亚洲体育_点此进入ники смогут работать аналитиками данных, разработчиками ПО, разработчиками-исследователями и специалистами по квантовым вычислениям, а также занимать исследовательские позиции в научных организациях.