中科院軟件所成立于1985年3月1日，是一所致力于計算機科學理論和軟件高新技術的研究與發展的綜合性基地型研究所（詳情請查閱軟件所網頁http://www.iscas.ac.cn）。因工作需要，中科院軟件所計算機科學國家重點實驗室，現公開招聘1名工作人員：
崗位名稱：軟件開發工程師1人
工作職責：
主要參與中科院和國家自然科學基金項目。研究方向包括：
1.基于高階邏輯的形式化數學。
2.形式化數學的自動化。
3.形式化數學在工程里的應用。
招聘條件：
1.熟悉Isabelle,Coq,HOL-Light或類似交互式定理證明器的使用。
2.在形式化數學方面具備一定實踐基礎。
3.博士學歷。
應聘材料的投遞：
應聘者請將本人簡歷發送至：bzhan@ios.ac.cn，郵件名稱為“姓名+應聘崗位 ”。
面試：
研究所按招聘條件對申請者進行資格審查，并在收到材料的一個月內通知初審合格者前來面試。資格審查未通過者，恕不另行通知。本招聘有效期至招到合適人員為止。
待遇：
以上崗位屬項目聘用，工資待遇按工作業績以及中科院軟件所相關管理規定執行，優秀應聘者待遇從優。
崗位名稱：軟件開發工程師1人
工作職責：
主要參與中科院和國家自然科學基金項目。研究方向包括：
1.基于高階邏輯的形式化數學。
2.形式化數學的自動化。
3.形式化數學在工程里的應用。
招聘條件：
1.熟悉Isabelle,Coq,HOL-Light或類似交互式定理證明器的使用。
2.在形式化數學方面具備一定實踐基礎。
3.博士學歷。
應聘材料的投遞：
應聘者請將本人簡歷發送至：bzhan@ios.ac.cn，郵件名稱為“姓名+應聘崗位 ”。
面試：
研究所按招聘條件對申請者進行資格審查，并在收到材料的一個月內通知初審合格者前來面試。資格審查未通過者，恕不另行通知。本招聘有效期至招到合適人員為止。
待遇：
以上崗位屬項目聘用，工資待遇按工作業績以及中科院軟件所相關管理規定執行，優秀應聘者待遇從優。
為防止簡歷投遞丟失請抄送一份至：boshijob@126.com（郵件標題格式：應聘職位名稱+姓名+學歷+專業+中國博士人才網）
中國-博士人才網發布
聲明提示：凡本網注明“來源：XXX”的文/圖等稿件，本網轉載出于傳遞更多信息及方便產業探討之目的，并不意味著本站贊同其觀點或證實其內容的真實性，文章內容僅供參考。
