中科院软件所成立于1985年3月1日，是一所致力于计算机科学理论和软件高新技术的研究与发展的综合性基地型研究所（详情请查阅软件所网页http://www.iscas.ac.cn）。因工作需要，中科院软件所协同创新中心现公开招聘工程师4人：

岗位名称1：EDA算法工程师（2人）

职责描述：

负责芯片验证、优化相关工作。

招聘条件：

1.电子电气、计算机等相关专业硕士或博士学历。

2.具有扎实的计算机科学理论和算法基础，代码能力强，具备良好的分析和解决问题的能力。

3.熟悉Verilog，Chisel语言优先。

4.有EDA设计或形式化验证方面的实际项目研发经验优先。

岗位名称2：软件验证工程师（2人）

职责描述：

负责软件验证与测试相关工作。

招聘条件：

1.计算机、软件工程等相关专业硕士或博士学历。

2.具有扎实的计算机科学理论和算法基础，代码能力强，具备良好的分析和解决问题的能力。

3.具有符号执行和软件验证等科研经历，或熟悉Linux内核工作原理及源码，具有一定的Linux内核编程经验。

4.熟悉C/C++编程语言。

5.了解形式化验证相关技术者优先。

6.研究方向为形式化验证相关方向者优先。

应聘材料的投递：

应聘者请将本人简历发送至：hebing@iscas.ac.cn，邮件名称为“姓名+应聘岗位+硕博英才网”。

面试：

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

岗位待遇：

上述岗位属项目聘用，根据工作量及贡献，薪酬优于同行水平。（上述岗位同时招聘实习、兼职）

原文出处：

http://www.is.cas.cn/rcdw2016/rczp2016/202206/t20220615_6462010.html