中科院軟件所成立于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)招聘1名神經(jīng)網(wǎng)絡(luò)形式化驗(yàn)證助理研究員，詳情如下：

一、崗位名稱(chēng)：

神經(jīng)網(wǎng)絡(luò)形式化驗(yàn)證助理研究員（1人）

二、崗位職責(zé)：

1.實(shí)現(xiàn)形式化驗(yàn)證深度神經(jīng)網(wǎng)絡(luò)和其他深度學(xué)習(xí)模型的算法，研發(fā)高效的驗(yàn)證工具；

2.參與項(xiàng)目成果的整理及發(fā)表，包括論文、專(zhuān)利、軟件著作權(quán)等；

3.對(duì)神經(jīng)網(wǎng)絡(luò)形式化驗(yàn)證領(lǐng)域中的前沿技術(shù)進(jìn)行探索和研究。

三、招聘條件：

1.計(jì)算機(jī)科學(xué)與技術(shù)類(lèi)、計(jì)算機(jī)類(lèi)專(zhuān)業(yè)，博士研究生學(xué)歷；

2.具有形式化驗(yàn)證領(lǐng)域扎實(shí)的專(zhuān)業(yè)基礎(chǔ)，在神經(jīng)網(wǎng)絡(luò)形式化驗(yàn)證領(lǐng)域有廣泛且深入的研究；

3.在人工智能安全相關(guān)領(lǐng)域國(guó)際比賽中取得優(yōu)異成績(jī)者優(yōu)先，在重要核心刊物上發(fā)表過(guò)論文優(yōu)先，有發(fā)明專(zhuān)利者優(yōu)先；

4.有開(kāi)發(fā)神經(jīng)網(wǎng)絡(luò)形式化驗(yàn)證工具，或模型檢驗(yàn)、定理證明、SAT/SMT求解工具的經(jīng)驗(yàn)；

5.身體健康，具有良好的道德素質(zhì)、較強(qiáng)的組織協(xié)調(diào)能力和團(tuán)隊(duì)合作精神。

四、應(yīng)聘方式：

簡(jiǎn)歷投遞郵箱：dongnan@iscas.ac.cn

郵件標(biāo)題：應(yīng)聘崗位名稱(chēng)+專(zhuān)業(yè)+本人姓名+碩博英才網(wǎng)

五、面試：

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

六、崗位待遇：

本崗位屬崗位聘用，工資及福利待遇按照中國(guó)科學(xué)院軟件研究所的有關(guān)規(guī)定執(zhí)行。

原文出處：

http://www.is.cas.cn/rcdw2016/rczp2016/202304/t20230417_6739851.html