中国科学院软件研究所成立于
一、岗位名称1：量子计算与形式化方法方向博士后
研究方向：量子程序理论、形式化方法、模型检测、量子电路设计自动化
岗位要求：
符合全国博管会关于博士后进站基本条件要求，并且应聘者应满足以下条件之一：
1.具有国内外知名高校计算机相关领域博士学位，研究方向为形式化方法（能熟练运用交互式定理证明工具Coq或者Lean）、程序理论（高级语言设计、程序逻辑等）或量子与抗量子密码学理论研究；
2.具有国内外知名高校数学、物理与计算机相关领域博士学位，研究方向为模型检测量子系统、量子算法可信性的形式化验证与训练、量子电路设计自动化，具备一定的相关工具实现能力。
3.具有国内外知名高校数学与物理相关领域博士学位，研究方向为量子计算、量子信息理论或量子复杂性理论，具备一定的代码能力。
岗位待遇：
1.根据工作量及贡献，提供有足够竞争力的薪酬；
2.提供租房补贴（5000元/月），享受全国博管会关于出站博士后户口迁移及家属户口随迁等政策。
二、岗位名称2：量子软件工程师
研究方向：量子软件工程，主要从事量子程序编译器、量子操作系统原理研究与工具开发。
三、岗位要求：
应聘者应满足以下条件之一：
1.具有国内外知名高校计算机相关领域硕士或博士学位，具有良好的数学基础；
2.具有国内外知名高校数学或物理相关领域硕士或博士学位，具有良好的代码能力。
四、岗位待遇：
上述岗位属于项目聘用，工作及福利待遇按照中国科学院及软件研究所的有关规定执行，优秀应聘者待遇从优。
五、应聘材料的投递
应聘者请将本人简历、学位证、毕业证及其它证明材料发送至jyang@ios.ac.cn，请【点击下方“立即投递/投递简历”，即刻进行职位报名】，邮件名称为“姓名+应聘岗位”。
六、面试
研究所按招聘条件对申请者进行资格审查，并在收到材料的一个月内通知初审合格者前来面试。资格审查未通过者，恕不另行通知。本招聘有效期至
信息来源于网络，如有变更请以原发布者为准。
来源链接：
http://www.is.cas.cn/rcdw2016/rczp2016/202406/t20240618_7191967.html
更多最新博士后招收资讯请关注高才博士后微信公众号（微信号：bshjob）。
