中科院軟件所成立于1985年3月1日，是一所致力于計(jì)算機(jī)科學(xué)理論和軟件高新技術(shù)的研究與發(fā)展的綜合性基地型研究所（詳情請(qǐng)查閱軟件所網(wǎng)頁http://www.iscas.ac.cn）。因工作需要，中科院軟件所計(jì)算機(jī)科學(xué)國家重點(diǎn)實(shí)驗(yàn)室，現(xiàn)公開招聘1名工作人員：

崗位名稱：軟件開發(fā)工程師1人

工作職責(zé)：

主要參與中科院和國家自然科學(xué)基金項(xiàng)目。研究方向包括：

1.基于高階邏輯的形式化數(shù)學(xué)。

2.形式化數(shù)學(xué)的自動(dòng)化。

3.形式化數(shù)學(xué)在工程里的應(yīng)用。

招聘條件：

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

2.在形式化數(shù)學(xué)方面具備一定實(shí)踐基礎(chǔ)。

3.博士學(xué)歷。

應(yīng)聘材料的投遞：

應(yīng)聘者請(qǐng)將本人簡歷發(fā)送至：bzhan@ios.ac.cn，郵件名稱為“姓名+應(yīng)聘崗位+碩博英才網(wǎng)”。

面試：

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

待遇：

以上崗位屬項(xiàng)目聘用，工資待遇按工作業(yè)績以及中科院軟件所相關(guān)管理規(guī)定執(zhí)行，優(yōu)秀應(yīng)聘者待遇從優(yōu)。

原文出處：

http://www.is.cas.cn/rcdw2016/rczp2016/201905/t20190506_5289349.html