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

更多最新博士后招收信息请关注博士后招聘网微信公众号（ID：boshihoujob）

原文出处：

http://www.is.cas.cn/rcdw2016/rczp2016/202209/t20220930_6519516.html

内容出处：