中国科学院软件研究所成立于1985年3月1日，是一所致力于计算机科学理论和软件高新技术的研究与发展的综合性基地型研究所（详情请查阅软件所网页http://www.iscas.ac.cn）。因工作需要，中国科学院软件研究所基础软件与系统重点实验室量子软件团队现公开招聘博士后或软件工程师1-3人。

岗位名称1：量子计算与形式化方法方向博士后

研究方向：量子程序理论、形式化方法、模型检测、量子电路设计自动化

岗位要求：

符合全国博管会关于博士后进站基本条件要求，并且应聘者应满足以下条件之一：

1.具有国内外知名高校计算机相关领域博士学位，研究方向为形式化方法（能熟练运用交互式定理证明工具Coq或者Lean）、程序理论（高级语言设计、程序逻辑等）或量子与抗量子密码学理论研究；

2.具有国内外知名高校数学、物理与计算机相关领域博士学位，研究方向为模型检测量子系统、量子算法可信性的形式化验证与训练、量子电路设计自动化，具备一定的相关工具实现能力。

3.具有国内外知名高校数学与物理相关领域博士学位，研究方向为量子计算、量子信息理论或量子复杂性理论，具备一定的代码能力。

岗位待遇：

1.根据工作量及贡献，提供有足够竞争力的薪酬；

2.提供租房补贴（5000元/月），享受全国博管会关于出站博士后户口迁移及家属户口随迁等政策。

岗位名称2：量子软件工程师

研究方向：量子软件工程，主要从事量子程序编译器、量子操作系统原理研究与工具开发。

岗位要求： 

应聘者应满足以下条件之一：

1.具有国内外知名高校计算机相关领域硕士或博士学位，具有良好的数学基础；

2.具有国内外知名高校数学或物理相关领域硕士或博士学位，具有良好的代码能力。

岗位待遇：

上述岗位属于项目聘用，工作及福利待遇按照中国科学院及软件研究所的有关规定执行，优秀应聘者待遇从优。

应聘材料的投递 

应聘者请将本人简历、学位证、毕业证及其它证明材料发送至jyang@ios.ac.cn，邮件名称为“姓名+应聘岗位”。 

面试 

研究所按招聘条件对申请者进行资格审查，并在收到材料的一个月内通知初审合格者前来面试。资格审查未通过者，恕不另行通知。本招聘有效期至2024年12月1日止。