Продвинутым разделам дискретной математики и теории алгоритмов — работе с нетривиальными классами задач, доказательствами корректности, оценкой асимптотики в сложных сценариях.
Формальным методам и верификации — использованию математического аппарата для доказательства свойств программ и протоколов, работе с системами автоматического доказательства теорем.
Современным направлениям теории сложности и криптографии — пониманию границ вычислимости, моделей безопасности, принципов построения стойких криптосистем.
Архитектурам высоконагруженных и распределённых систем — паттернам масштабирования, согласованности данных, отказоустойчивости, проектированию систем с заданными SLA.
Параллельным и асинхронным вычислениям — многопоточности, конкурентности, моделям памяти, lock free структурам, работе с GPU и распределёнными кластерами.
Системному проектированию и управлению техническим долгом — формализации требований, декомпозиции, управлению зависимостями, стратегиям миграции и рефакторинга в больших кодовых базах.
Продвинутым направлениям в данных, ИИ и ML.
Математическим основам машинного обучения — оптимизации, теории обобщения, байесовским методам, вероятностным моделям.
Разработке ML систем (MLOps) — конвейерам обучения и валидации, версионированию данных и моделей, мониторингу дрейфа, интеграции моделей в продакшн.
Анализу больших данных и потоковой обработке — Spark, Flink, Kafka, подходам к обработке в реальном времени, построению витрин данных.
Облачным и гибридным архитектурам — проектированию с учётом облачных сервисов, контейнеризации, оркестрации (Kubernetes), IaC (Terraform).
Низкоуровневой оптимизации и производительности — анализу узких мест, профилированию, работе с памятью и кэшами, использованию SIMD и других аппаратных возможностей.
Безопасности на уровне архитектуры — моделям угроз, принципам secure by design, анализу уязвимостей на ранних этапах проектирования.
Работе с научной литературой и участию в конференциях — чтению и критике статей, подготовке публикаций, выступлениям на семинарах и конференциях.
Формулированию и защите исследовательских задач — умению обосновывать актуальность, новизну и практическую значимость работы.
Расширенным практикам программной инженерии — код ревью, автоматизированному тестированию сложных систем, статическому анализу, CI/CD для распределённых проектов.
Специализированным языкам и фреймворкам — в зависимости от трека: Rust для системного программирования, Julia для численных расчётов, фреймворкам для распределённых вычислений и т.п.
Методам управления R&D проектами — планированию исследовательских работ, оценке рисков, взаимодействию с индустриальными партнёрами, оформлению отчётов и заявок на гранты.
毕业生做什么工作?
凭借扎实的高阶数学基础、复杂系统设计能力和开展研究的技能,硕士毕业生能够担任更高级的职位,且往往从事管理或科研工作。他们可以选择以下职业:软件架构师 / 系统架构师;高级 / 首席开发工程师;ML / AI 架构师、首席 ML 工程师;MLOps 工程师;计算机科学与算法领域的研究员(Researcher);技术负责人(Tech Lead、Engineering Manager);具备深厚技术专长的产品经理(Product Manager);研发(R&D)方向负责人;高校教师、科研人员;算法与复杂性分析专家。
预算通过分数
2026
30
2025
30
2024
30
入学考试
考试 1 从 1
作品集竞赛
我们的其他培训计划
你好!聊聊?提问!我会回答任何问题!有问题吗?问!还有问题吗?准备好帮忙了!我很乐意帮忙!按我!
搜索
如何提交材料
选择便捷的提交方式
在线
俄罗斯境外
ruID
通过 ruID 应用提交材料。
您可以通过 ruID 移动应用提交材料——请从 Google Play 或 App Store 下载该应用。