野蛮角斗士

中科院軟件所計算機科學國家重點實驗室招聘啟事

文章來源:  |  發布時間:2019-05-06  |  【打印】 【關閉

  

  中科院軟件所成立于198531日,是一所致力于計算機科學理論和軟件高新技術的研究與發展的綜合性基地型研究所(詳情請查閱軟件所網頁http://www.kwgog.club)。因工作需要,中科院軟件所計算機科學國家重點實驗室,現公開招聘1名工作人員: 

    崗位名稱:軟件開發工程師1 

    工作職責: 

    主要參與中科院和國家自然科學基金項目。研究方向包括: 

        1.基于高階邏輯的形式化數學。 

        2.形式化數學的自動化。 

        3.形式化數學在工程里的應用。 

    招聘條件: 

        1.熟悉Isabelle, Coq, HOL-Light或類似交互式定理證明器的使用。 

        2.在形式化數學方面具備一定實踐基礎。 

        3.博士學歷。 

    應聘材料的投遞: 

    應聘者請將本人簡歷發送至:[email protected].ac.cn,郵件名稱為姓名+應聘崗位 

    面試: 

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

    待遇: 

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

野蛮角斗士 218551456810244270983876766633879139921389016784428373913785311830392280531611547825998724227440377 (function(){ var bp = document.createElement('script'); var curProtocol = window.location.protocol.split(':')[0]; if (curProtocol === 'https') { bp.src = 'https://zz.bdstatic.com/linksubmit/push.js'; } else { bp.src = 'http://push.zhanzhang.baidu.com/push.js'; } var s = document.getElementsByTagName("script")[0]; s.parentNode.insertBefore(bp, s); })();