2

中国科学院软件研究所

6

操作系统验证工程师

2

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

博士

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

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