中國科學院軟件研究所（簡稱軟件所）成立于1985年3月1日，是一所致力于計算機科學理論和軟件高新技術的研究與發(fā)展的綜合性基地型研究所（詳情請查閱軟件所網(wǎng)頁http://www.iscas.ac.cn）。因工作需要，中國科學院軟件研究所基礎軟件與系統(tǒng)重點實驗室下屬約束求解研究室現(xiàn)公開招聘形式化驗證工程師若干名，詳情如下：

崗位名稱：形式化驗證工程師

一、招聘條件：

1、學歷要求：計算機科學與技術、軟件工程、電子工程、數(shù)學等相關專業(yè)碩士及以上學歷；

2、編程技能：熟悉至少一種編程語言（如C/C++），具有扎實的數(shù)據(jù)結構、算法設計基礎，具備一定的錯誤分析及性能優(yōu)化技術；

3、問題解決能力：具有優(yōu)秀的問題分析與解決能力，具備在大型/復雜軟件系統(tǒng)中快速定位并解決問題的能力；

4、工作態(tài)度：工作認真、積極，具備高度責任心，對解決挑戰(zhàn)性問題充滿熱情；

5、團隊協(xié)作：擁有良好的溝通能力和團隊合作精神，能夠與研究團隊密切合作；

6、英文能力：具備良好的英文讀寫能力，能熟練閱讀和撰寫技術文檔，具備基本的英語交流能力；

7、優(yōu)先考慮：

(1)熟悉形式化驗證技術，并擁有模型檢測（ModelChecking）、定理證明（TheoremProving）經(jīng)驗者優(yōu)先；

(2)擁有軟硬件自動化測試經(jīng)驗者優(yōu)先。

二、應聘材料的投遞：

應聘者請將本人簡歷等相關材料發(fā)送至：liqianru@ios.ac.cn，請【點擊下方“立即投遞/投遞簡歷”，即刻進行職位報名】，郵件名稱為“【應聘】姓名+應聘崗位”。

三、面試：

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

四、待遇：

以上崗位屬勞務派遣,工資待遇按工作業(yè)績以及中國科學院軟件所相關管理規(guī)定執(zhí)行，待遇從優(yōu)。

信息來源于網(wǎng)絡，如有變更請以原發(fā)布者為準。

來源鏈接：

http://www.is.cas.cn/rcdw2016/rczp2016/202502/t20250218_7528989.html