中國(guó)科學(xué)院軟件研究所（簡(jiǎn)稱軟件所）成立于
崗位名稱：形式化驗(yàn)證工程師
一、招聘條件：
1、學(xué)歷要求：計(jì)算機(jī)科學(xué)與技術(shù)、軟件工程、電子工程、數(shù)學(xué)等相關(guān)專業(yè)碩士及以上學(xué)歷；
2、編程技能：熟悉至少一種編程語(yǔ)言（如C/C++），具有扎實(shí)的數(shù)據(jù)結(jié)構(gòu)、算法設(shè)計(jì)基礎(chǔ)，具備一定的錯(cuò)誤分析及性能優(yōu)化技術(shù)；
3、問(wèn)題解決能力：具有優(yōu)秀的問(wèn)題分析與解決能力，具備在大型/復(fù)雜軟件系統(tǒng)中快速定位并解決問(wèn)題的能力；
4、工作態(tài)度：工作認(rèn)真、積極，具備高度責(zé)任心，對(duì)解決挑戰(zhàn)性問(wèn)題充滿熱情；
5、團(tuán)隊(duì)協(xié)作：擁有良好的溝通能力和團(tuán)隊(duì)合作精神，能夠與研究團(tuán)隊(duì)密切合作；
6、英文能力：具備良好的英文讀寫(xiě)能力，能熟練閱讀和撰寫(xiě)技術(shù)文檔，具備基本的英語(yǔ)交流能力；
7、優(yōu)先考慮：
(1)熟悉形式化驗(yàn)證技術(shù)，并擁有模型檢測(cè)（ModelChecking）、定理證明（TheoremProving）經(jīng)驗(yàn)者優(yōu)先；
(2)擁有軟硬件自動(dòng)化測(cè)試經(jīng)驗(yàn)者優(yōu)先。
二、應(yīng)聘材料的投遞：
應(yīng)聘者請(qǐng)將本人簡(jiǎn)歷等相關(guān)材料發(fā)送至：liqianru@ios.ac.cn，郵件名稱為“【應(yīng)聘】姓名+應(yīng)聘崗位”。
三、面試：
軟件所按招聘條件對(duì)申請(qǐng)者進(jìn)行資格審查，并在收到材料的一個(gè)月內(nèi)通知初審合格者前來(lái)面試。資格審查未通過(guò)者，恕不另行通知。本招聘有效期至招到合適人員為止。
四、待遇：
以上崗位屬勞務(wù)派遣,工資待遇按工作業(yè)績(jī)以及中國(guó)科學(xué)院軟件所相關(guān)管理規(guī)定執(zhí)行，待遇從優(yōu)。
信息來(lái)源于網(wǎng)絡(luò)，如有變更請(qǐng)以原發(fā)布者為準(zhǔn)。
來(lái)源鏈接：
http://www.is.cas.cn/rcdw2016/rczp2016/202502/t20250218_7528989.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)容僅供參考。
