中科院軟件所成立于1985年3月1日，是一所致力于計(jì)算機(jī)科學(xué)理論和軟件高新技術(shù)的研究與發(fā)展的綜合性基地型研究所（詳情請(qǐng)查閱軟件所網(wǎng)頁(yè)http://www.iscas.ac.cn）。因工作需要，中科院軟件所協(xié)同創(chuàng)新中心現(xiàn)公開(kāi)招聘工程師4人：

崗位名稱1：EDA算法工程師（2人）

職責(zé)描述：

負(fù)責(zé)芯片驗(yàn)證、優(yōu)化相關(guān)工作。

招聘條件：

1.電子電氣、計(jì)算機(jī)等相關(guān)專業(yè)碩士或博士學(xué)歷。

2.具有扎實(shí)的計(jì)算機(jī)科學(xué)理論和算法基礎(chǔ)，代碼能力強(qiáng)，具備良好的分析和解決問(wèn)題的能力。

3.熟悉Verilog，Chisel語(yǔ)言優(yōu)先。

4.有EDA設(shè)計(jì)或形式化驗(yàn)證方面的實(shí)際項(xiàng)目研發(fā)經(jīng)驗(yàn)優(yōu)先。

崗位名稱2：軟件驗(yàn)證工程師（2人）

職責(zé)描述：

負(fù)責(zé)軟件驗(yàn)證與測(cè)試相關(guān)工作。

招聘條件：

1.計(jì)算機(jī)、軟件工程等相關(guān)專業(yè)碩士或博士學(xué)歷。

2.具有扎實(shí)的計(jì)算機(jī)科學(xué)理論和算法基礎(chǔ)，代碼能力強(qiáng)，具備良好的分析和解決問(wèn)題的能力。

3.具有符號(hào)執(zhí)行和軟件驗(yàn)證等科研經(jīng)歷，或熟悉Linux內(nèi)核工作原理及源碼，具有一定的Linux內(nèi)核編程經(jīng)驗(yàn)。

4.熟悉C/C++編程語(yǔ)言。

5.了解形式化驗(yàn)證相關(guān)技術(shù)者優(yōu)先。

6.研究方向?yàn)樾问交��?yàn)證相關(guān)方向者優(yōu)先。

應(yīng)聘材料的投遞：

應(yīng)聘者請(qǐng)將本人簡(jiǎn)歷發(fā)送至：hebing@iscas.ac.cn，郵件名稱為“姓名+應(yīng)聘崗位+碩博英才網(wǎng)”。

面試：

研究所按招聘條件對(duì)申請(qǐng)者進(jìn)行資格審查，并在收到材料的一周內(nèi)通知初審合格者前來(lái)面試。資格審查未通過(guò)者，恕不另行通知。本招聘有效期至招到合適人員為止。

崗位待遇：

上述崗位屬項(xiàng)目聘用，根據(jù)工作量及貢獻(xiàn)，薪酬優(yōu)于同行水平。（上述崗位同時(shí)招聘實(shí)習(xí)、兼職）

原文出處：

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