中国科学院软件研究所计算机科学国家重点实验室招聘启事简

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

一、招聘岗位：副研究员 （1名）

职位描述：

1.负责RISC-V处理器Chisel设计形式化验证研究工作;

2.负责操作系统、编译器等基础软件形式化验证研究工作;

3.参与/负责项目的申请、需求、设计、开发和验收的全流程工作;

4.处理团队负责人分配的一些事务性工作等.

招聘条件：

1.博士学历，计算机相关专业;

2.具有不少于1个聘期的特别研究助理或博士后经历;

3.在形式化验证、编程语言、软件工程等相关方向有相关科研经历;

4.熟练掌握定理证明辅助工具比如Coq的使用;

5.在顶级学术会议和期刊发表过3篇以上高水平学术论文;

6.具有良好的团队协作精神和沟通能力，有责任心.

二、应聘材料的投递：

应聘者请将本人简历发送至：wuzl@ios.ac.cn，邮件名称为姓名+电话+应聘岗位名称。

三、面试：

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

四、岗位待遇：

本岗位属岗位聘用，工资待遇按中国科学院软件研究所相关管理规定执行，优秀应聘者待遇从优。