中科院軟件所成立于1985年3月1日，是一所致力于計算機科學理論和軟件高新技術(shù)的研究與發(fā)展的綜合性基地型研究所（詳情請查閱軟件所網(wǎng)頁http://www.iscas.ac.cn）。因工作需要，中科院軟件所協(xié)同創(chuàng)新中心現(xiàn)公開招聘1名神經(jīng)網(wǎng)絡形式化驗證助理研究員，詳情如下：
一、崗位名稱：
神經(jīng)網(wǎng)絡形式化驗證助理研究員（1人）
二、崗位職責：
1.實現(xiàn)形式化驗證深度神經(jīng)網(wǎng)絡和其他深度學習模型的算法，研發(fā)高效的驗證工具；
2.參與項目成果的整理及發(fā)表，包括論文、專利、軟件著作權(quán)等；
3.對神經(jīng)網(wǎng)絡形式化驗證領域中的前沿技術(shù)進行探索和研究。
三、招聘條件：
1.計算機科學與技術(shù)類、計算機類專業(yè)，博士研究生學歷；
2.具有形式化驗證領域扎實的專業(yè)基礎，在神經(jīng)網(wǎng)絡形式化驗證領域有廣泛且深入的研究；
3.在人工智能安全相關領域國際比賽中取得優(yōu)異成績者優(yōu)先，在重要核心刊物上發(fā)表過論文優(yōu)先，有發(fā)明專利者優(yōu)先；
4.有開發(fā)神經(jīng)網(wǎng)絡形式化驗證工具，或模型檢驗、定理證明、SAT/SMT求解工具的經(jīng)驗；
5.身體健康，具有良好的道德素質(zhì)、較強的組織協(xié)調(diào)能力和團隊合作精神。
四、應聘方式：
簡歷投遞郵箱：dongnan@iscas.ac.cn
郵件標題：應聘崗位名稱+專業(yè)+本人姓名
五、面試：
研究所按招聘條件對申請者進行資格審查，并在收到材料的一個月內(nèi)通知初審合格者前來面試。資格審查未通過者，恕不另行通知。本招聘有效期至招到合適人員為止。
六、崗位待遇：
本崗位屬崗位聘用，工資及福利待遇按照中國科學院軟件研究所的有關規(guī)定執(zhí)行。
信息來源于網(wǎng)絡，如有變更請以原發(fā)布者為準。
來源鏈接：
http://www.is.cas.cn/rcdw2016/rczp2016/202304/t20230417_6739851.html
為防止簡歷投遞丟失請抄送一份至：boshijob@126.com（郵件標題格式：應聘職位名稱+姓名+學歷+專業(yè)+中國博士人才網(wǎng)）
中國-博士人才網(wǎng)發(fā)布
聲明提示：凡本網(wǎng)注明“來源：XXX”的文/圖等稿件，本網(wǎng)轉(zhuǎn)載出于傳遞更多信息及方便產(chǎn)業(yè)探討之目的，并不意味著本站贊同其觀點或證實其內(nèi)容的真實性，文章內(nèi)容僅供參考。
