软件开发与数据科学

数据分析课程

• 机器学习中的贝叶斯方法
• 计算机视觉
• 贝叶斯神经网络方法
• 深度学习
• 强化学习
• 无人机开发
• 自然语言处理

软件验证与确认课程

• 程序验证的正规方法简介
• 数理逻辑
• 类型学理论与编程语言
• 程序模型检查
• 并行和分布式程序检查
• 依赖类型编程语言
• 软件检查开放项目

大型系统架构课程

• 信息系统的架构和设计
• 并行和分布式计算算法
• 虚拟化与云技术
• 分布式系统基础设施
• 大数据的存储和处理技术
• 面向对象程序设计
• 计算机安全

每学期，培训方案提供两门额外选修课程。

• 课程模块选择丰富且灵活，涵盖广泛的理论、实践和流程管理领域。主要模块（数据分析、软件检查和大型系统架构）为期两年。学生可以从数学与计算机学学院的大量精选课程中选择一些额外的一年期课程
• 这是构成个性化的教育计划的好机会。此外，学生们可以参加或主动组织学院内的公开讲座、会议和科研教育活动
• 每个学期都包括大量实习活动。在每个学期，学生独立撰写学期论文（第一年）或毕业论文（第二年）。毕业论文主题可以是研究性的，也可以是实践性的。此外，我们的行业伙伴提供主题建议
• 每一个课程模块包括研讨会或阅读小组（学生评论相关领域的文章和书籍）研讨会包括实践活动，例如在数据分析方面，学生们可以复制或尝试改进文章的结果
• 招生人数较少，所以该专业可以为学生提供个性化的教育。该专业要求学生的数学水平很高，因此保证优秀教育环境和课程的挑战性
• 与 Yandex、Vkontakte及其他知名研究和IT公司的合作使我们能够选择最佳实习项目、增高奖学金和组织课外活动
• 主要课程之外，毕业生文凭包括专业英语和圣大在线课程

专业的教师都与世界各地的大学有学术联系，积极参与国际科学生活。学生们有许多获得国际经验的机会：参加校际科研项目、会议和研讨会。

实习地点

在每个学期，学生独立撰写学期论文（第一年）或毕业论文（第二年）。毕业论文主题可以是研究性的，也可以是实践性的。行业合作伙伴提出论文项目主题，导师们是IT公司的代表和实验室的研究人员。论文项目的清单每一个学期前更新、行业合作伙伴的队伍一直增长。每年实习公司包括Yandex、华为、俄罗斯天然气工业石油公司、VKontakte等

主要职业

毕业生将能够担任数据分析师、软件开发人员、研究开发人员和量子计算专家职位，以及在科研机构担任研究职位。