千亿QY8国际手机版

千亿QY8国际手机版计算机科学国家重点实验室招聘启事

文章来源:  |  发布时间:2022-04-22  |  【打印】 【关闭

  

 

  千亿QY8国际手机版成立于198531日,是一所致力于计算机科学理论和软件高新技术的研究与发展的综合性基地型研究所(详情请查阅千亿QY8国际手机版网页)。因工作需要,中国科学院千亿QY8国际手机版计算机科学国家重点实验室现公开招聘2名工作人员,详情如下: 

  岗位名称:安全攸关系统软件验证(2人)

  岗位职责:

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

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

  任职要求:

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

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

  应聘材料的投递:  

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

  面试:     

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

  待遇:    

  以上岗位属项目聘用,工资待遇按工作业绩以及千亿QY8国际手机版相关管理规定执行,优秀应聘者待遇从优。

千亿QY8国际手机版(中国)责任有限公司官网