中科院軟件所成立于1985年3月1日，是一所致力于計(jì)算機(jī)科學(xué)理論和軟件高新技術(shù)的研究與發(fā)展的綜合性基地型研究所（詳情請(qǐng)查閱軟件所網(wǎng)頁http://www.iscas.ac.cn）。因工作需要，中國(guó)科學(xué)院軟件研究所計(jì)算機(jī)科學(xué)國(guó)家重點(diǎn)實(shí)驗(yàn)室現(xiàn)公開招聘2名工作人員，詳情如下：

崗位名稱：安全有關(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)。