中國(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人。

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

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

崗位要求：

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

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)于出站博士后戶口遷移及家屬戶口隨遷等政策。

二、崗位名稱2：量子軟件工程師

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

三、崗位要求：

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

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，請(qǐng)【點(diǎn)擊下方“立即投遞/投遞簡(jiǎn)歷”，即刻進(jìn)行職位報(bào)名】，郵件名稱為“姓名+應(yīng)聘崗位”。

六、面試

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

信息來(lái)源于網(wǎng)絡(luò)，如有變更請(qǐng)以原發(fā)布者為準(zhǔn)。

來(lái)源鏈接：

http://www.is.cas.cn/rcdw2016/rczp2016/202406/t20240618_7191967.html

更多最新博士后招收資訊請(qǐng)關(guān)注高才博士后微信公眾號(hào)（微信號(hào)：bshjob）。