中国科学院软件研究所（简称软件所）成立于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，邮件名称为“【应聘】姓名+应聘岗位”。
三、面试：
软件所按招聘条件对申请者进行资格审查，并在收到材料的一个月内通知初审合格者前来面试。资格审查未通过者，恕不另行通知。本招聘有效期至招到合适人员为止。
四、待遇：
以上岗位属劳务派遣,工资待遇按工作业绩以及中国科学院软件所相关管理规定执行，待遇从优。
