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

　　岗位名称：安全攸关系统软件验证（2人）

　　岗位职责:

　　1、从事安全攸关系统软件建模与验证；

　　2、相关验证文档整理与认证。

　　任职要求：

　　1、计算机科学和技术、软件工程硕士或者数学硕士或者博士；

　　2、具有程序验证经验，熟悉Coq、Isabelle等交互式定理证明器和Z3的SMT约束求解器。

　　应聘材料的投递：  

　　应聘者请将本人简历发送至： zhaopin@iscas.ac.cn 邮件名称为“姓名+应聘岗位”。   

　　面试：     

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

　　待遇：    

　　以上岗位属项目聘用,工资待遇按工作业绩以及中科院软件所相关管理规定执行，优秀应聘者待遇从优。