中科院軟件所成立于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
為防止簡歷投遞丟失請抄送一份至：boshijob@126.com（郵件標題格式：應聘職位名稱+姓名+學歷+專業+中國博士人才網）
中國-博士人才網發布
聲明提示：凡本網注明“來源：XXX”的文/圖等稿件，本網轉載出于傳遞更多信息及方便產業探討之目的，并不意味著本站贊同其觀點或證實其內容的真實性，文章內容僅供參考。
