量子计算与形式化方法方向博士后

面议

北京博士研究生若干人 2024-06-19发布查看公告详情

租房补贴落户办理随迁入户

查看公告详情

声明：本站部分公告与职位内容由本站根据官方招聘公告进行整理编辑。由于用人单位需求专业、学历学位、资格条件、职位编制、备注内容等内容情况复杂且有变化可能，是否符合招聘条件以用人单位公告为准或请联系用人单位确认。本站整理编辑的职位信息仅供求职者参考，如因此造成的损失本站不承担任何责任！

职位详情

基本信息

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

职位类型：博士后

工作地点：北京

招聘人数：若干

报名方式：电子邮件

截止时间：2024-12-01

用人部门：量子软件团队

其他要求

学历要求：博士研究生

需求专业：

数学, 物理学, 计算机科学与技术

该需求专业仅展示一级学科

岗位职责

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

任职要求

符合全国博管会关于博士后进站基本条件要求，并且应聘者应满足以下条件之一：
1.具有国内外知名高校计算机相关领域博士学位，研究方向为形式化方法（能熟练运用交互式定理证明工具Coq或者Lean）、程序理论（高级语言设计、程序逻辑等）或量子与抗量子密码学理论研究；
2.具有国内外知名高校数学、物理与计算机相关领域博士学位，研究方向为模型检测量子系统、量子算法可信性的形式化验证与训练、量子电路设计自动化，具备一定的相关工具实现能力。
3.具有国内外知名高校数学与物理相关领域博士学位，研究方向为量子计算、量子信息理论或量子复杂性理论，具备一定的代码能力。

其他说明

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

竞争力分析

解锁详细分析

您与该职位匹配度: ***，已超过了 *** 的竞争者，建议************

较低

一般

比较匹配

非常匹配

查看其他职位查看公告详情

欢迎扫描下方二维码关注高校人才网官方微信（硕博QQ交流群：247884325 ，进微信群请加：gzgxrcw06）

重要风险提示：如招聘单位在招聘过程中向求职者提出收取押金、保证金、体检费、材料费、成本费，或指定医院体检等，求职者有权要求招聘单位出具物价部门批准的收费许可证明材料，若无法提供相关证明，请求职者提高警惕，有可能属于诈骗或违规行为。