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