中科院軟件所成立于
崗位名稱：安全有關(guān)系統(tǒng)軟件驗(yàn)證（2人）
崗位職責(zé):
1、從事安全有關(guān)系統(tǒng)軟件建模與驗(yàn)證；
2、相關(guān)驗(yàn)證文檔整理與認(rèn)證。
任職要求：
1、計(jì)算機(jī)科學(xué)和技術(shù)、軟件工程碩士或者數(shù)學(xué)碩士或者博士；
2、具有程序驗(yàn)證經(jīng)驗(yàn)，熟悉Coq、Isabelle等交互式定理證明器和Z3的SMT約束求解器。
應(yīng)聘材料的投遞：
應(yīng)聘者請(qǐng)將本人簡(jiǎn)歷發(fā)送至：zhaopin@iscas.ac.cn郵件名稱為“姓名+應(yīng)聘崗位 ”。
面試：
研究所按招聘條件對(duì)申請(qǐng)者進(jìn)行資格審查，并在收到材料的一個(gè)月內(nèi)通知初審合格者前來面試。資格審查未通過者，恕不另行通知。本招聘有效期至招到合適人員為止。
待遇：
以上崗位屬項(xiàng)目聘用,工資待遇按工作業(yè)績(jī)以及中科院軟件所相關(guān)管理規(guī)定執(zhí)行，優(yōu)秀應(yīng)聘者待遇從優(yōu)。
信息來源于網(wǎng)絡(luò)，如有變更請(qǐng)以原發(fā)布者為準(zhǔn)。
來源鏈接：
http://www.is.cas.cn/rcdw2016/rczp2016/202204/t20220422_6435907.html
為防止簡(jiǎn)歷投遞丟失請(qǐng)抄送一份至：boshijob@126.com（郵件標(biāo)題格式：應(yīng)聘職位名稱+姓名+學(xué)歷+專業(yè)+中國(guó)博士人才網(wǎng)）
中國(guó)-博士人才網(wǎng)發(fā)布
聲明提示：凡本網(wǎng)注明“來源：XXX”的文/圖等稿件，本網(wǎng)轉(zhuǎn)載出于傳遞更多信息及方便產(chǎn)業(yè)探討之目的，并不意味著本站贊同其觀點(diǎn)或證實(shí)其內(nèi)容的真實(shí)性，文章內(nèi)容僅供參考。
