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

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

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

招生要求

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

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

3、希望你掌握计算机操作系统、编译原理、体系结构相关背景知识，具有操作系统与编译器开发或者处理器设计经验；

4、对形式化验证感兴趣，了解SAT/SMT求解器、交互式证明工具（Coq、Lean、Isabelle/HOL等），具有形式化方法背景经验者优先；

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

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

材料投递与咨询：

• 申请者请将个人陈述，以及个人简历和成绩单邮件发送至杨老师：yangqs###ios**ac**cn，并抄送给陈老师：chensy###ios**ac**cn。 邮件名称为”姓名+学校+申请推免研究生”（###改为@，**改为.）；
• 请将你的附件材料命名为: [姓名]-[学校]-[成绩单/简历/XXX]；
• 我们会以邮件形式向申请人发送面试的邀请，请及时关注邮箱。研究室将不再另行通知未能通过简历初筛的申请人；
• 招生启事长期有效！招满将及时更新，欢迎加入！