中科院軟件所成立于1985年3月1日，是一所致力于計(jì)算機(jī)科學(xué)理論和軟件高新技術(shù)的研究與發(fā)展的綜合性基地型研究所（詳情請(qǐng)查閱軟件所網(wǎng)頁(yè)http://www.iscas.ac.cn）。因工作需要，中科院軟件所協(xié)同創(chuàng)新中心現(xiàn)公開招聘1名神經(jīng)網(wǎng)絡(luò)形式化驗(yàn)證助理研究員，詳情如下：
一、崗位名稱：
神經(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ā)表，包括論文、專利、軟件著作權(quán)等；
3.對(duì)神經(jīng)網(wǎng)絡(luò)形式化驗(yàn)證領(lǐng)域中的前沿技術(shù)進(jìn)行探索和研究。
三、招聘條件：
1.計(jì)算機(jī)科學(xué)與技術(shù)類、計(jì)算機(jī)類專業(yè)，博士研究生學(xué)歷；
2.具有形式化驗(yàn)證領(lǐng)域扎實(shí)的專業(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ā)明專利者優(yōu)先；
4.有開發(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)聘崗位名稱+專業(yè)+本人姓名
五、面試：
研究所按招聘條件對(duì)申請(qǐng)者進(jìn)行資格審查，并在收到材料的一個(gè)月內(nèi)通知初審合格者前來(lái)面試。資格審查未通過(guò)者，恕不另行通知。本招聘有效期至招到合適人員為止。
六、崗位待遇：
本崗位屬崗位聘用，工資及福利待遇按照中國(guó)科學(xué)院軟件研究所的有關(guān)規(guī)定執(zhí)行。
信息來(lái)源于網(wǎng)絡(luò)，如有變更請(qǐng)以原發(fā)布者為準(zhǔn)。
來(lái)源鏈接：
http://www.is.cas.cn/rcdw2016/rczp2016/202304/t20230417_6739851.html
為防止簡(jiǎn)歷投遞丟失請(qǐng)抄送一份至：boshijob@126.com（郵件標(biāo)題格式：應(yīng)聘職位名稱+姓名+學(xué)歷+專業(yè)+中國(guó)博士人才網(wǎng)）
中國(guó)-博士人才網(wǎng)發(fā)布
聲明提示：凡本網(wǎng)注明“來(lái)源：XXX”的文/圖等稿件，本網(wǎng)轉(zhuǎn)載出于傳遞更多信息及方便產(chǎn)業(yè)探討之目的，并不意味著本站贊同其觀點(diǎn)或證實(shí)其內(nèi)容的真實(shí)性，文章內(nèi)容僅供參考。
