操作系统验证工程师-计算机重点面议

中国科学院软件研究所2025年度校园招聘启事

招2人
博士研究生
北京

需求专业（供参考）：计算机科学与技术,软件工程

截止日期：详见正文 2025-01-06发布

职位详情

落户办理
带薪年假
专业培训
出国机会

基本信息

报名方式：网上系统,其他
需求专业（供参考）：计算机科学与技术,软件工程

岗位职责

1. 使用约束求解、定理证明等技术进行操作系统验证
2. 开发相关验证工具
3. 撰写高水平国际会议/期刊文章
4. 协助指导研究生

任职要求

1、熟悉Linux或欧拉等相关开源操作系统的内核架构与工作原理，并具有相关开发经验；
2、熟练掌握C/C++编程，了解汇编语言，具备出色的编程和调试能力；
3、具有优秀的问题分析与解决能力，具备在大型/复杂软件系统中快速定位并解决问题的能力；
4、拥有良好的沟通能力和团队合作精神，能够与研究团队密切合作；
5、具备良好的英文读写能力，能熟练阅读和撰写技术文档，具备基本的英语交流能力；
6、具备形式化验证、软件测试、系统安全、或RISC-V相关经验者优先；有大型开源软件开发经验者优先；具备软件高安全等级认证经验者优先。

其他要求

1．2025年即将出站的博士后和全国重点高校统招统分的2025年应届毕业生。
2．应聘“助理研究员”岗位，须具有不少于1个聘期的特别研究助理或博士后经历；
应聘“特别研究助理”岗位的应届博士毕业生，将从事科学研究工作；
应聘“工程师”岗位的应聘博士毕业生，将从事工程技术工作。不具有“特别研究助理”经历的科研人员，原则上不可转为自然科学研究系列。
3．专业基础扎实，有相关项目经验者优先，在重要核心刊物上发表过论文优先，有发明专利者优先。
4．身体健康，积极上进，具有良好的道德素质、较强的组织协调能力和团队协作能力。
5．其他应聘条件以具体岗位要求为准（参见附件《中国科学院软件研究所2025年度校园招聘岗位信息》）。

中国科学院软件研究所2025年度校园招聘启事

北京