中国科学院软件研究所计算机科学国家重点实验室2022年4月招聘2名工作人员启事

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

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

岗位职责:

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

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

任职要求：

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

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

应聘材料的投递：

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

面试：

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

待遇：

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

投递招聘简历时请注明来源于：高校师资网 https://www.gxszw.com/,提供博士人才招聘信息、研究生人才招聘信息。为高校、科研机构、事业单位提供各岗位的高层次人才！

更多招聘信息！欢迎扫描下方二维码关注高校师资网官方微信。