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

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

  

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

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

    工作職責: 

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

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

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

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

    招聘條件: 

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

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

        3.博士學歷。 

    應聘材料的投遞: 

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

    面試: 

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

    待遇: 

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

浙江6十1走势图表 证监会对期货配资的定性 正规的投资平台有哪些 中国传统麻将4399小游戏 一分快3精准计划群 新11选5 杀号 旧版哈尔滨麻将下载 手游麻将辅助神器 山东11选5在线计划免费 22选5每天几点开奖 辽源大嘴棋牌大厅下载 心悦麻将下载到手机 打麻将的游戏 河南十一选五买 幸运3D色谱走势图 快乐12选五遗 财通股票融资利息一般多少