中国科学院软件研究所所基础软件与系统重点实验室招聘公告

　　中国科学院软件研究所所基础软件与系统重点实验室招聘公告由北京事业单位考试网提供：更多关于中国科学院软件研究所所的内容请关注北京事业单位考试网！或关注北京华图微信公众号(bjhuatu)，如有问题也可点击联系各校区。

　

 

　　中国科学院软件研究所(简称软件所)成立于1985年3月1日，是一所致力于计算机科学理论和软件高新技术的研究与发展的综合性基地型研究所(详情请查阅软件所网页http://www.iscas.ac.cn)。因工作需要，中国科学院软件研究所基础软件与系统重点实验室下属约束求解研究室现公开招聘形式化验证工程师若干名，详情如下：

　　岗位名称：形式化验证工程师

　　一、招聘条件：

　　1、学历要求：计算机科学与技术、软件工程、电子工程、数学等相关专业硕士及以上学历;

　　2、编程技能：熟悉至少一种编程语言(如C/C++)，具有扎实的数据结构、算法设计基础，具备一定的错误分析及性能优化技术;

　　3、问题解决能力：具有优秀的问题分析与解决能力，具备在大型/复杂软件系统中快速定位并解决问题的能力;

　　4、工作态度：工作认真、积极，具备高度责任心，对解决挑战性问题充满热情;

　　5、团队协作：拥有良好的沟通能力和团队合作精神，能够与研究团队密切合作;

　　6、英文能力：具备良好的英文读写能力，能熟练阅读和撰写技术文档，具备基本的英语交流能力;

　　7、优先考虑：

　　(1)熟悉形式化验证技术，并拥有模型检测(Model Checking)、定理证明(Theorem Proving)经验者优先;

　　(2)拥有软硬件自动化测试经验者优先。

　　二、应聘材料的投递：

　　应聘者请将本人简历等相关材料发送至：liqianru@ios.ac.cn，邮件名称为“【应聘】姓名+应聘岗位”。

　　三、面试：

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

　　四、待遇：

　　以上岗位属劳务派遣,工资待遇按工作业绩以及中国科学院软件所相关管理规定执行，待遇从优。

　　点击查看：北京事业单位招聘辅导课程

 

　

　　——推荐阅读——

　　招考信息--北京事业单位招聘信息汇总|备考咨询

　　面授课程--事业单位笔试面授课程|面试面授课程

　　在线课程--事业单位笔试在线课程|面试在线课程

　　图书教材--事业单位笔试图书教材|面试图书教材

　　华图在线APP--全年模考|30W+题库|看视频 刷题

（编辑：李昂）