2

中国科学院软件研究所

6

操作系统验证工程师

2

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

博士

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

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