岗位名称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，邮件名称为“姓名+应聘岗位”。

　　面试： 

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

　　岗位待遇：

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