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

共计1个岗位,招 2查看此公告的职位列表
查看此公告的职位列表
基本信息
公告详情

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

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

岗位职责:

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

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

任职要求:

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

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

应聘材料的投递:

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

面试:

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

待遇:

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

信息来源于网络,如有变更请以原发布者为准。

来源链接:

http://www.is.cas.cn/rcdw2016/rczp2016/202204/t20220422_6435907.html

公告热度
解锁详细分析
该公告在同类公告中的热度为 ***,目前已有 *** 对其非常感兴趣
欢迎扫描下方二维码关注高校人才网官方微信(硕博QQ交流群:707404079,进微信群请加:gzgxrcw04)
重要风险提示:如招聘单位在招聘过程中向求职者提出收取押金、保证金、体检费、材料费、成本费,或指定医院体检等,求职者有权要求招聘单位出具物价部门批准的收费许可证明材料,若无法提供相关证明,请求职者提高警惕,有可能属于诈骗或违规行为。
高校人才网
百万硕博人的择业平台
高校直招
5000+单位官方入驻
简历直投
20W+职位一键投递
{{applyDialogData.systemTips}}
{{applyDialogData.resumeTips}}
+ 上传
+ 上传文件
立即续费
{{successContentUp}}
{{successContentDown}}
我知道了
{{ title }}
{{tips1}}
{{tips2}}
{{ title }}
{{tips1}}
{{tips2}}
{{ title }}
{{tips1}}
{{tips2}}
{{ title }}
{{tips1}}
{{tips2}}
职位投递成功!
微信扫码关注【高校人才网服务号】

求职效率翻倍

实时接收投递反馈
精彩活动抢先知晓
为你推荐