【保研快讯】2026年中国科学院软件研究所基础软件验证研究室推免生招收启事、中国科学院新疆天文台接收推荐免试生的通知

置顶星标保研之家，一手保研信息，保研不迷路）

重点内容提示

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

原文链接：

https://versys.ios.ac.cn/blog/studentapply26/

2026年中国科学院新疆天文台接收推荐免试生的通知

原文链接：

https://xao.cas.cn/yjsjy/zsxxzt/zsxx/202607/t20260721_8253412.html

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]；
我们会以邮件形式向申请人发送面试的邀请，请及时关注邮箱。研究室将不再另行通知未能通过简历初筛的申请人；
招生启事长期有效！招满将及时更新，欢迎加入！

2026年中国科学院新疆天文台接收推荐免试生的通知

中国科学院新疆天文台接收2027年推荐免试生工作已经开始，申请人可以选择推免硕士生或直博生，学习形式均为全日制。招生专业目录中各专业均可招收推免生，现将相关事项通知如下：

申请推荐免试生请选择：中国科学院大学（代码：14430）

下属院系：166 新疆天文台

一、申请条件

1．中华人民共和国公民，拥护中国共产党的领导，热爱科学事业，道德品质良好，遵纪守法。

2．申请者须获得所在学校当年推荐免试资格，并在教育部中国研究生招生信息网“全国推荐免试攻读研究生信息公开暨管理服务系统”（以下简称“教育部推免服务系统”）中获得所在学校推荐免试资格名单备案。

3. 天文、物理、数学、光学、化学、机械、电子、计算机、信息技术、自动控制等相关专业在校本科生。

4．诚实守信，品行端正，学风优良，无任何考试作弊和剽窃他人学术成果记录，无任何违法违纪受处分记录。

5．申请人在大学本科阶段学习成绩优异，有较好的科研潜力，具有较强的调查研究、分析问题、解决问题能力。

6．外国语程度良好，具有较强的外国语听、说、读、写及综合应用能力。

7．身体健康状况符合规定的体检标准，心理健康状况良好。

二、申请材料

推荐免试申请者直接向新疆天文台研究生部提交如下材料：

1.《中国科学院大学推荐免试攻读硕士学位研究生/直博生申请表》，申请表可以通过在线报名系统中的报表途径打印后签字。

2.有效居民身份证复印件。

3.两位专家推荐书（副教授职称以上专家填写）。

4.所在学校教务部门（或院系）出具并加盖公章的大学本科前三年所修课程成绩单（五年制的提供前四年课程成绩单）。

5.外国语、计算机等级考试证书及大学期间获奖证书复印件。

6.能体现本人科研能力的材料，例如在公开发行的学术刊物或全国性学术会议上发表的学术论文、所获专利或其他原创性工作成果的复印件或证明。

7.个人简历、专业学习情况等。

三、接收程序

1.网上报名：申请人在《中国科学院大学推荐免试生申请系统》报名（网址：https://zhaosheng.ucas.ac.cn/sign_up/TMS/views/index.aspx）。

2.提交申请材料：申请人须按本通知要求，在2026年10月8日前将电子版申请材料发送至新疆天文台研究生招生办邮箱yjszsb@xao.ac.cn。

3.资格初审：我台对申请人的网上报名信息进行资格初审。初审通过者，将邮件通知申请人。申请人应按具体面试通知要求参加面试。

4.考核和体检

（1）考核内容包括业务能力考核、综合素质考核、外语听力和口语考核、思想品德考核等。

业务能力考核：主要考核考生掌握专业知识的广度、深度与扎实程度；运用专业知识的能力；分析与解决问题的能力；应变反应能力；表达能力；研究兴趣；科研能力与发展潜力等方面。

综合素质考核：主要考核考生本学科（专业）以外的学习、科研和社会实践或实际工作等方面的经历；事业心、责任感、纪律性、协作性、心理健康情况；人文素养；举止、礼仪和表达能力等。

外语听力与口语测试：主要考核考生对外语掌握的熟练程度，以及应用外语阅读专业文献的能力。

思想政治品德考核：思想政治品德考核主要考核考生本人的现实表现，主要包括考生的政治态度、思想表现、道德品德、人生观、价值观、工作学习态度、团队合作精神、诚实守信、科研道德及遵纪守法等方面的基本情况。思想品德考核不合格的申请者不予录取。

（2）体检由考生自行在二级甲等及以上等级医院进行体检。体检标准参照教育部、卫生部、中国残疾人联合会印发的《普通高等学校招生体检工作指导意见》（教学[2003]3号），人力资源和社会保障部、教育部、卫生部《关于进一步规范入学和就业体检项目维护乙肝表面抗原携带者入学和就业权利的通知》（人社部发[2010]12号）以及《教育部办公厅卫生部办公厅关于普通高等学校招生学生入学身体检查取消乙肝项目检测有关问题的通知》（教学厅[2010]2号）执行。新生入学后需进行体检复查。体检不合格者，取消录取资格。

四、拟录取

1.我台按照“德智体全面衡量、择优录取、保证质量、宁缺毋滥”的原则确定拟录取名单，并邮件、电话等形式通知拟录取考生。

2.收到拟录取通知的考生须在规定时间内通过教育部“推免服务系统”（网址：http://yz.chsi.com.cn/）完成网上报名、复试确认、拟录取确认等各项操作。

3.对拟录取的推免生，教育部审核通过后与统考生同时发放录取通知书。

五、其它

1.获得推免生资格的夏令营优秀学员可直接联系研究生部欧阳老师（ouyangxiaoli@xao.ac.cn）报名，具体流程按教育部规定执行。

2.对拟录取的推免生，出现下列情况之一的，取消其录取资格：

（1）在本科阶段最后一学年（四年制的指第七、八学期，五年制的指第九、十学期）专业主干课程学习成绩有不及格科目。

（2）毕业设计（论文）未取得良好以上（含良好）成绩。

（3）毕业时未获得本科毕业证书或学士学位。

（4）政审不合格。

（5）考试作弊或违纪违纪受到“警告”以上处分的，或有其他情节严重的违法乱纪行为受到处罚者。