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

崗位名稱：安全有關(guān)系統(tǒng)軟件驗證（2人）

崗位職責:

1、從事安全有關(guān)系統(tǒng)軟件建模與驗證；

2、相關(guān)驗證文檔整理與認證。

任職要求：

1、計算機科學(xué)和技術(shù)、軟件工程碩士或者數(shù)學(xué)碩士或者博士；

2、具有程序驗證經(jīng)驗，熟悉Coq、Isabelle等交互式定理證明器和Z3的SMT約束求解器。

應(yīng)聘材料的投遞：

應(yīng)聘者請將本人簡歷發(fā)送至： zhaopin@iscas.ac.cn 郵件名稱為“姓名+應(yīng)聘崗位”。

面試：

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

待遇：

以上崗位屬項目聘用,工資待遇按工作業(yè)績以及中科院軟件所相關(guān)管理規(guī)定執(zhí)行，優(yōu)秀應(yīng)聘者待遇從優(yōu)。