高校师资网
小程序:高校师资网
扫描二维码,开启小程序
来高校师资网,高薪工作任你选
李老师
13121042579
191767074
191767074@qq.com
微信公众号
客服微信
换 一 个
长按图片保存
中科院软件所成立于
岗位名称：安全有关系统软件验证（2人）
岗位职责:
1、从事安全有关系统软件建模与验证；
2、相关验证文档整理与认证。
任职要求：
1、计算机科学和技术、软件工程硕士或者数学硕士或者博士；
2、具有程序验证经验，熟悉Coq、Isabelle等交互式定理证明器和Z3的SMT约束求解器。
应聘材料的投递：
应聘者请将本人简历发送至：zhaopin@iscas.ac.cn邮件名称为“姓名+应聘岗位+高校师资网”。
面试：
研究所按招聘条件对申请者进行资格审查，并在收到材料的一个月内通知初审合格者前来面试。资格审查未通过者，恕不另行通知。本招聘有效期至招到合适人员为止。
待遇：
以上岗位属项目聘用,工资待遇按工作业绩以及中科院软件所相关管理规定执行，优秀应聘者待遇从优。
更多招聘单位详情！
欢迎扫描下方二维码关注高校师资网官方微信
重要风险提示：
