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

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

崗位職責:

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

2、相關驗證文檔整理與認證。

任職要求：

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

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

應聘材料的投遞：

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

面試：

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

待遇：

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

原文出處：

http://www.is.cas.cn/rcdw2016/rczp2016/202204/t20220422_6435907.html