中科院軟件所成立于1985年3月1日，是一所致力于計算機科學理論和軟件高新技術的研究與發展的綜合性基地型研究所（詳情請查閱軟件所網頁http://www.tl-114.com）。因工作需要，中科院軟件所協同創新中心現公開招聘1名神經網絡形式化驗證助理研究員，詳情如下：

　　崗位名稱：神經網絡形式化驗證助理研究員（1人）

　　崗位職責：

　　1. 實現形式化驗證深度神經網絡和其他深度學習模型的算法，研發高效的驗證工具；

　　2. 參與項目成果的整理及發表，包括論文、專利、軟件著作權等；

　　3. 對神經網絡形式化驗證領域中的前沿技術進行探索和研究。

　　招聘條件：

　　1. 計算機科學與技術類、計算機類專業，博士研究生學歷；

　　2. 具有形式化驗證領域扎實的專業基礎，在神經網絡形式化驗證領域有廣泛且深入的研究；

　　3. 在人工智能安全相關領域國際比賽中取得優異成績者優先，在重要核心刊物上發表過論文優先，有發明專利者優先；

　　4. 有開發神經網絡形式化驗證工具，或模型檢驗、定理證明、SAT/SMT求解工具的經驗；

　　5. 身體健康，具有良好的道德素質、較強的組織協調能力和團隊合作精神。

　　應聘方式：

　  簡歷投遞郵箱：dongnan@iscas.ac.cn

　　郵件標題：應聘崗位名稱+專業+本人姓名

　　面試：  

　　研究所按招聘條件對申請者進行資格審查，并在收到材料的一個月內通知初審合格者前來面試。資格審查未通過者，恕不另行通知。本招聘有效期至招到合適人員為止。

　　崗位待遇：