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

　　崗位名稱：安全攸關系統軟件驗證（2人）

　　崗位職責:

　　1、從事安全攸關系統軟件建模與驗證；

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

　　任職要求：

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

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

　　應聘材料的投遞：  

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

　　面試：     

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

　　待遇：    

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