中科院軟件所成立于1985年3月1日，是一所致力于計算機科學理論和軟件高新技術的研究與發展的綜合性基地型研究所（詳情請查閱軟件所網頁http://www.tl-114.com）。因工作需要，中科院軟件所計算機科學國家重點實驗室量子軟件團隊現公開招聘博士后1-3人。

崗位名稱1：量子軟件工程方向博士后

研究方向： 量子軟件工程，主要從事量子程序編譯器、量子操作系統原理研究與工具開發。

崗位要求：

應聘者應滿足以下條件之一：

1.具有國內外知名高校計算機相關領域博士學位，具有良好的數學基礎；

2.具有國內外知名高校數學相關領域博士學位，具有良好的代碼能力；

3.具有國內外知名高校物理相關領域博士學位，具有良好的代碼能力；

4.具有國內外知名高校化學博士學位，研究方向為計算化學。

崗位待遇：

1.根據工作量及貢獻，提供有足夠競爭力的薪酬，月薪2-4萬，年度13薪；

2.提供租房補貼（5000元/月），享受全國博管會關于出站博士后戶口遷移及家屬戶口隨遷等政策。 

崗位名稱2：量子程序理論方向博士后

研究方向：量子程序理論研究。

崗位要求：

應聘者應滿足以下條件之一：

1.具有國內外知名高校計算機相關領域博士學位，研究方向為形式化方法；

2.具有國內外知名高校數學相關領域博士學位，能熟練運用Coq等交互式定理證明工具。

崗位待遇：

1.根據工作量及貢獻，提供有足夠競爭力的薪酬，月薪2-3萬，年度13薪；

2.提供租房補貼（5000元/月），享受全國博管會關于出站博士后戶口遷移及家屬戶口隨遷等政策。 

應聘材料的投遞 

應聘者請將本人簡歷、學位證、畢業證及其它證明材料發送至jyang@ios.ac.cn，郵件名稱為“姓名+應聘崗位”。 

面試 

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