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

面议

北京博士研究生 2人 2025-01-06发布查看公告详情

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

定期/免费体检

竞争力分析

声明：本站部分公告与职位内容由本站根据官方招聘公告进行整理编辑。由于用人单位需求专业、学历学位、资格条件、职位编制、备注内容等内容情况复杂且有变化可能，是否符合招聘条件以用人单位公告为准或请联系用人单位确认。本站整理编辑的职位信息仅供求职者参考，如因此造成的损失本站不承担任何责任！

职位详情

基本信息

职位名称：操作系统验证工程师-计算机重点

职位类型：其他科研支撑岗

工作地点：北京

招聘人数： 2

报名方式：网上系统,其他

截止时间：详见正文

其他要求

学历要求：博士研究生

需求专业：

计算机科学与技术, 软件工程

该需求专业仅展示一级学科

岗位职责

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

任职要求

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

其他说明

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

竞争力分析

解锁详细分析

您与该职位匹配度: ***，已超过了 *** 的竞争者，建议************

较低

一般

比较匹配

非常匹配

查看其他职位查看公告详情

欢迎扫描下方二维码关注高校人才网官方微信（硕博QQ交流群：1015865503 ，进微信群请加：gzgxrcw06）

重要风险提示：如招聘单位在招聘过程中向求职者提出收取押金、保证金、体检费、材料费、成本费，或指定医院体检等，求职者有权要求招聘单位出具物价部门批准的收费许可证明材料，若无法提供相关证明，请求职者提高警惕，有可能属于诈骗或违规行为。