中國科學院軟件研究所（簡稱軟件所）成立于
崗位名稱：形式化驗證工程師
一、招聘條件：
1、學歷要求：計算機科學與技術、軟件工程、電子工程、數學等相關專業碩士及以上學歷；
2、編程技能：熟悉至少一種編程語言（如C/C++），具有扎實的數據結構、算法設計基礎，具備一定的錯誤分析及性能優化技術；
3、問題解決能力：具有優秀的問題分析與解決能力，具備在大型/復雜軟件系統中快速定位并解決問題的能力；
4、工作態度：工作認真、積極，具備高度責任心，對解決挑戰性問題充滿熱情；
5、團隊協作：擁有良好的溝通能力和團隊合作精神，能夠與研究團隊密切合作；
6、英文能力：具備良好的英文讀寫能力，能熟練閱讀和撰寫技術文檔，具備基本的英語交流能力；
7、優先考慮：
(1)熟悉形式化驗證技術，并擁有模型檢測（ModelChecking）、定理證明（TheoremProving）經驗者優先；
(2)擁有軟硬件自動化測試經驗者優先。
二、應聘材料的投遞：
應聘者請將本人簡歷等相關材料發送至：liqianru@ios.ac.cn，郵件名稱為“【應聘】姓名+應聘崗位”。
三、面試：
軟件所按招聘條件對申請者進行資格審查，并在收到材料的一個月內通知初審合格者前來面試。資格審查未通過者，恕不另行通知。本招聘有效期至招到合適人員為止。
四、待遇：
以上崗位屬勞務派遣,工資待遇按工作業績以及中國科學院軟件所相關管理規定執行，待遇從優。
信息來源于網絡，如有變更請以原發布者為準。
來源鏈接：
http://www.is.cas.cn/rcdw2016/rczp2016/202502/t20250218_7528989.html
為防止簡歷投遞丟失請抄送一份至：boshijob@126.com（郵件標題格式：應聘職位名稱+姓名+學歷+專業+中國博士人才網）
中國-博士人才網發布
聲明提示：凡本網注明“來源：XXX”的文/圖等稿件，本網轉載出于傳遞更多信息及方便產業探討之目的，并不意味著本站贊同其觀點或證實其內容的真實性，文章內容僅供參考。
