崗位名稱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，郵件名稱為“姓名+應聘崗位”。

　　面試： 

　　研究所按招聘條件對申請者進行資格審查，并在收到材料的一周內通知初審合格者前來面試。資格審查未通過者，恕不另行通知。本招聘有效期至招到合適人員為止。

　　崗位待遇：

　　上述崗位屬項目聘用，根據工作量及貢獻，薪酬優于同行水平。（上述崗位同時招聘實習、兼職）