中國科學(xué)院軟件研究所成立于1985年3月1日，是一所致力于計算機科學(xué)理論和軟件高新技術(shù)的研究與發(fā)展的綜合性基地型研究所（詳情請查閱軟件所網(wǎng)頁http://www.iscas.ac.cn）。因工作需要，中國科學(xué)院軟件研究所基礎(chǔ)軟件與系統(tǒng)重點實驗室量子軟件團隊現(xiàn)公開招聘博士后或軟件工程師1-3人。
崗位名稱1：量子計算與形式化方法方向博士后
研究方向：量子程序理論、形式化方法、模型檢測、量子電路設(shè)計自動化
崗位要求：
符合全國博管會關(guān)于博士后進站基本條件要求，并且應(yīng)聘者應(yīng)滿足以下條件之一：
1.具有國內(nèi)外知名高校計算機相關(guān)領(lǐng)域博士學(xué)位，研究方向為形式化方法（能熟練運用交互式定理證明工具Coq或者Lean）、程序理論（高級語言設(shè)計、程序邏輯等）或量子與抗量子密碼學(xué)理論研究；
2.具有國內(nèi)外知名高校數(shù)學(xué)、物理與計算機相關(guān)領(lǐng)域博士學(xué)位，研究方向為模型檢測量子系統(tǒng)、量子算法可信性的形式化驗證與訓(xùn)練、量子電路設(shè)計自動化，具備一定的相關(guān)工具實現(xiàn)能力。
3.具有國內(nèi)外知名高校數(shù)學(xué)與物理相關(guān)領(lǐng)域博士學(xué)位，研究方向為量子計算、量子信息理論或量子復(fù)雜性理論，具備一定的代碼能力。
崗位待遇：
1.根據(jù)工作量及貢獻，提供有足夠競爭力的薪酬；
2.提供租房補貼（5000元/月），享受全國博管會關(guān)于出站博士后戶口遷移及家屬戶口隨遷等政策。
崗位名稱2：量子軟件工程師
研究方向：量子軟件工程，主要從事量子程序編譯器、量子操作系統(tǒng)原理研究與工具開發(fā)。
崗位要求：
應(yīng)聘者應(yīng)滿足以下條件之一：
1.具有國內(nèi)外知名高校計算機相關(guān)領(lǐng)域碩士或博士學(xué)位，具有良好的數(shù)學(xué)基礎(chǔ)；
2.具有國內(nèi)外知名高校數(shù)學(xué)或物理相關(guān)領(lǐng)域碩士或博士學(xué)位，具有良好的代碼能力。
崗位待遇：
上述崗位屬于項目聘用，工作及福利待遇按照中國科學(xué)院及軟件研究所的有關(guān)規(guī)定執(zhí)行，優(yōu)秀應(yīng)聘者待遇從優(yōu)。
應(yīng)聘材料的投遞
應(yīng)聘者請將本人簡歷、學(xué)位證、畢業(yè)證及其它證明材料發(fā)送至jyang@ios.ac.cn，郵件名稱為“姓名+應(yīng)聘崗位”。
面試
研究所按招聘條件對申請者進行資格審查，并在收到材料的一個月內(nèi)通知初審合格者前來面試。資格審查未通過者，恕不另行通知。本招聘有效期至2024年12月1日止。
信息來源于網(wǎng)絡(luò)，如有變更請以原發(fā)布者為準。
來源鏈接：
http://www.is.cas.cn/rcdw2016/rczp2016/202406/t20240618_7191967.html
為防止簡歷投遞丟失請抄送一份至：boshijob@126.com（郵件標題格式：應(yīng)聘職位名稱+姓名+學(xué)歷+專業(yè)+中國博士人才網(wǎng)）
中國-博士人才網(wǎng)發(fā)布
聲明提示：凡本網(wǎng)注明“來源：XXX”的文/圖等稿件，本網(wǎng)轉(zhuǎn)載出于傳遞更多信息及方便產(chǎn)業(yè)探討之目的，并不意味著本站贊同其觀點或證實其內(nèi)容的真實性，文章內(nèi)容僅供參考。
