中科院軟件所協(xié)同創(chuàng)新中心招聘啟事
研招在線為您提供全國各大高校研究生報考、MBA招生、復(fù)試、調(diào)劑、招聘等信息！
點擊查看招生簡章▇點擊查看MBA招生▇ 點擊查看考研備考▇點擊查看考研復(fù)試▇點擊查看考研調(diào)劑 ▇ 點擊查看院校信息庫
中科院軟件所成立于1985年3月1日，是一所致力于計算機科學(xué)理論和軟件高新技術(shù)的研究與發(fā)展的綜合性基地型研究所（詳情請查閱軟件所網(wǎng)頁http://www.iscas.ac.cn）。因工作需要，中科院軟件所協(xié)同創(chuàng)新中心現(xiàn)公開招聘工程師4人：
崗位名稱1：EDA算法工程師（2人）
職責(zé)描述：
負責(zé)芯片驗證、優(yōu)化相關(guān)工作。
招聘條件：
1.電子電氣、計算機等相關(guān)專業(yè)碩士或博士學(xué)歷。
2.具有扎實的計算機科學(xué)理論和算法基礎(chǔ)，代碼能力強，具備良好的分析和解決問題的能力。
3.熟悉Verilog，Chisel語言優(yōu)先。
4.有EDA設(shè)計或形式化驗證方面的實際項目研發(fā)經(jīng)驗優(yōu)先。
崗位名稱2：軟件驗證工程師（2人）
職責(zé)描述：
負責(zé)軟件驗證與測試相關(guān)工作。
招聘條件：
1.計算機、軟件工程等相關(guān)專業(yè)碩士或博士學(xué)歷。
2.具有扎實的計算機科學(xué)理論和算法基礎(chǔ)，代碼能力強，具備良好的分析和解決問題的能力。
3.具有符號執(zhí)行和軟件驗證等科研經(jīng)歷，或熟悉Linux內(nèi)核工作原理及源碼，具有一定的Linux內(nèi)核編程經(jīng)驗�！ �
4.熟悉C/C++編程語言。
5.了解形式化驗證相關(guān)技術(shù)者優(yōu)先。
6.研究方向為形式化驗證相關(guān)方向者優(yōu)先。
應(yīng)聘材料的投遞：
應(yīng)聘者請將本人簡歷發(fā)送至：hebing@iscas.ac.cn，郵件名稱為“姓名+應(yīng)聘崗位+ #碩博招聘在線# ”。
面試：
研究所按招聘條件對申請者進行資格審查，并在收到材料的一周內(nèi)通知初審合格者前來面試。資格審查未通過者，恕不另行通知。本招聘有效期至招到合適人員為止。
崗位待遇：
上述崗位屬項目聘用，根據(jù)工作量及貢獻，薪酬優(yōu)于同行水平。（上述崗位同時招聘實習(xí)、兼職）
來源：http://www.is.cas.cn/rcdw2016/rczp2016/202206/t20220615_6462010.html
