中国科学院软件研究所（简称软件所）成立于1985年3月1日，是一所致力于计算机科学理论和软件高新技术的研究与发展的综合性基地型研究所（详情请查阅软件所网页http://www.iscas.ac.cn）。因工作需要，中国科学院软件研究所基础软件与系统重点实验室现公开招聘操作系统验证工程师2名，详情如下： 

一.岗位名称：操作系统验证工程师（2名）

二.招聘条件：

1、学历要求：硕士及以上学历，计算机科学与技术、软件工程、网络空间安全、电子信息等相关专业；

2、操作系统经验：熟悉Linux或欧拉等相关开源操作系统的内核架构与工作原理，并具有相关开发经验；

3、编程技能：熟练掌握C/C++编程，了解汇编语言，具备出色的编程和调试能力；

4、问题解决能力：具有优秀的问题分析与解决能力，具备在大型/复杂软件系统中快速定位并解决问题的能力；

5、工作态度：工作认真、积极，具备高度责任心，对解决挑战性问题充满热情；

6、团队协作：拥有良好的沟通能力和团队合作精神，能够与研究团队密切合作；

7、英文能力：具备良好的英文读写能力，能熟练阅读和撰写技术文档，具备基本的英语交流能力；

8、优先考虑：

- 具备形式化验证、软件测试、系统安全、或RISC-V相关经验者优先；

- 有大型开源软件开发经验者优先；

- 具备软件高安全等级认证经验者优先。

三.应聘材料的投递：

应聘者请将本人简历等相关材料发送至： liujx@ios.ac.cn 邮件名称为“【应聘】姓名+应聘岗位”。

四.面试：

软件所按招聘条件对申请者进行资格审查，并在收到材料的一个月内通知初审合格者前来面试。资格审查未通过者，恕不另行通知。本招聘有效期至招到合适人员为止。

五.待遇：

以上岗位属劳务派遣,工资待遇按工作业绩以及中国科学院软件所相关管理规定执行，待遇从优。