人才引進(jìn)工作地區(qū)：北京

高端人才引進(jìn)→詳情點(diǎn)擊《高端人才引進(jìn) 》             高校人才引進(jìn)→詳情點(diǎn)擊《高校招聘 》 

事業(yè)單位人才引進(jìn)→詳情點(diǎn)擊《事業(yè)單位人才 》      科研人才引進(jìn)→詳情點(diǎn)擊《科研人才 》 

醫(yī)療人才引進(jìn)→詳情點(diǎn)擊《醫(yī)療人才》                     企業(yè)人才引進(jìn)→詳情點(diǎn)擊《企業(yè)招聘 》 

中國(guó)科學(xué)院軟件研究所成立于1985年3月1日，是一所致力于計(jì)算機(jī)科學(xué)理論和軟件高新技術(shù)的研究與發(fā)展的綜合性基地型研究所（詳情請(qǐng)查閱軟件所網(wǎng)頁(yè)http://www.iscas.ac.cn）。因工作需要，中國(guó)科學(xué)院軟件研究所基礎(chǔ)軟件與系統(tǒng)重點(diǎn)實(shí)驗(yàn)室量子軟件團(tuán)隊(duì)現(xiàn)公開(kāi)招聘博士后或軟件工程師1-3人。

崗位名稱(chēng)1：量子計(jì)算與形式化方法方向博士后

研究方向：量子程序理論、形式化方法、模型檢測(cè)、量子電路設(shè)計(jì)自動(dòng)化

崗位要求：

符合全國(guó)博管會(huì)關(guān)于博士后進(jìn)站基本條件要求，并且應(yīng)聘者應(yīng)滿(mǎn)足以下條件之一：

1.具有國(guó)內(nèi)外知名高校計(jì)算機(jī)相關(guān)領(lǐng)域博士學(xué)位，研究方向?yàn)樾问交椒ǎ苁炀氝\(yùn)用交互式定理證明工具Coq或者Lean）、程序理論（高級(jí)語(yǔ)言設(shè)計(jì)、程序邏輯等）或量子與抗量子密碼學(xué)理論研究；

2.具有國(guó)內(nèi)外知名高校數(shù)學(xué)、物理與計(jì)算機(jī)相關(guān)領(lǐng)域博士學(xué)位，研究方向?yàn)槟Ｐ蜋z測(cè)量子系統(tǒng)、量子算法可信性的形式化驗(yàn)證與訓(xùn)練、量子電路設(shè)計(jì)自動(dòng)化，具備一定的相關(guān)工具實(shí)現(xiàn)能力。

3.具有國(guó)內(nèi)外知名高校數(shù)學(xué)與物理相關(guān)領(lǐng)域博士學(xué)位，研究方向?yàn)榱孔佑?jì)算、量子信息理論或量子復(fù)雜性理論，具備一定的代碼能力。

崗位待遇：

1.根據(jù)工作量及貢獻(xiàn)，提供有足夠競(jìng)爭(zhēng)力的薪酬；

2.提供租房補(bǔ)貼（5000元/月），享受全國(guó)博管會(huì)關(guān)于出站博士后戶(hù)口遷移及家屬戶(hù)口隨遷等政策。

崗位名稱(chēng)2：量子軟件工程師

研究方向：量子軟件工程，主要從事量子程序編譯器、量子操作系統(tǒng)原理研究與工具開(kāi)發(fā)。

崗位要求： 

應(yīng)聘者應(yīng)滿(mǎn)足以下條件之一：

1.具有國(guó)內(nèi)外知名高校計(jì)算機(jī)相關(guān)領(lǐng)域碩士或博士學(xué)位，具有良好的數(shù)學(xué)基礎(chǔ)；

2.具有國(guó)內(nèi)外知名高校數(shù)學(xué)或物理相關(guān)領(lǐng)域碩士或博士學(xué)位，具有良好的代碼能力。

崗位待遇：

上述崗位屬于項(xiàng)目聘用，工作及福利待遇按照中國(guó)科學(xué)院及軟件研究所的有關(guān)規(guī)定執(zhí)行，優(yōu)秀應(yīng)聘者待遇從優(yōu)。

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

應(yīng)聘者請(qǐng)將本人簡(jiǎn)歷、學(xué)位證、畢業(yè)證及其它證明材料發(fā)送至jyang@ios.ac.cn，郵件名稱(chēng)為“姓名+應(yīng)聘崗位”。 

面試 

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

來(lái)源：http://www.is.cas.cn/rcdw2016/rczp2016/202406/t20240618_7191967.html