中国科学院软件研究所基础软件验证研究室2025年推免生招收启事

基础软件验证研究室是隶属于中国科学院软件研究所基础软件与系统重点实验室下的研究室，目前正在招收2025年推免生，欢迎大家报名！

我们诚挚欢迎具有强自我驱动力，具有较强计算机系统能力或数学基础，且对形式化方法和计算机软硬件系统形式化验证感兴趣的优秀学生加入我们的团队！

招生要求

1、计算机、软件工程、电子信息、自动化、数学等相关专业具有推免资格的本科生;

2、拥有较强的编程能力，具备数理逻辑或离散数学基础知识；

3、希望你掌握计算机操作系统、汇编语言相关背景知识，具有操作系统开发经验；

4、对形式化验证感兴趣，了解交互式证明工具（Coq、Lean或Agda等），具有形式化方法背景经验者优先；

5、熟悉至少一门现代编程语言，包括但不限于C++、Python、Rust、Golang、Scala、TypeScript等；

6、有良好的合作沟通能力，有较强的团队意识，执行力强。

材料投递与咨询：

• 申请者请将个人陈述，以及个人简历和成绩单邮件发送至宋老师：songfu###ios**ac**cn，并抄送给刘老师：liujx###ios**ac**cn。 邮件名称为”姓名+学校+申请推免研究生”（###改为@，**改为.）；
• 请将你的附件材料命名为: [姓名]-[学校]-[成绩单/简历/XXX]；
• 我们会以邮件形式向申请人发送面试的邀请，请及时关注邮箱。研究室将不再另行通知未能通过简历初筛的申请人；
• 欢迎报名软件所“软件与网络”夏令营（报名链接），备注栏填写“基础软件与系统重点实验室”，期待七月与你的深入交流！（已截止）
• 招生启事长期有效！招满将及时更新，欢迎加入！