博士研究生岗位：重点研究可扩展的量子程序验证

利用形式化方法与编程语言理论从事量子程序验证的博士研究生岗位。要求具备扎实的数学技能，并拥有相关领域的硕士学位。

项目描述： 随着私营和公共部门对量子计算的投资持续增加，量子硬件的逐步升级（目前已达到数千个量子比特水平）也带来了更为复杂的量子软件体系。鉴于量子软件在战略层面的应用（例如在安全领域），迫切需要能够大规模验证量子程序可信度的技术。 现代量子程序的特点，如量子纠错技术，导致了混合量子-经典架构的形成，从而带来了新的验证挑战。当前工具与技术无法提供所需的可扩展性、自动化及保障条件，以完成此类程序的验证。 该项目旨在通过结合经典验证与编程语言理论技术以及复杂算术相关技术，来填补这一空白，从而为量子程序验证领域的发展贡献理论见解与软件成果。 职责： 该博士研究生将主要致力于博士阶段的学习。最多占20%的部门职责，包括教学与行政工作，也可能包含在其任职职责之中。

要求： 满足攻读博士研究生的通用入学要求，您必须： 持有计算机科学、数学或相关领域的硕士（第二周期）学位，或 已完成至少240个学分的高等教育课程，其中至少60个学分为硕士阶段学分，并包含价值至少15个学分的独立项目。 通过其他途径已获得实质上相当的知识。 如有特殊理由，大学可允许个别申请者免除一般入学要求（根据《高等教育条例》第7章第39条）。 关于特殊入学要求，请参阅该专业的总体学习计划。 我们正在寻找符合以下条件的候选人： 数学背景， 出色的问题解决能力， 强烈的动力以及持续解决难题的能力， 编程兴趣， 良好的沟通技巧，且英语口语和书面表达能力充足， 独立工作与协作合作的能力。 额外资质 在以下一个或多个领域具有经验或课程学习经历将被视为优势：形式化方法、编程语言理论与语义学、逻辑学、自动机理论、自动化定理证明以及量子计算。 关于博士生的相关规定载于《高等教育条例》第5章第1-7条，以及瑞典乌普萨拉大学的规章制度与指导方针中。

关于就业情况： 根据《高等教育条例》第5章第7条，该职位为临时职位。就业范围：100%。开始日期为2027年1月15日或按约定时间。安置地点：乌普萨拉 请于2026年11月15日之前提交申请，申请编号：UFV-PA 2026/2571。 您是否考虑前往瑞典在瑞典乌普萨拉大学工作？请进一步了解在瑞典工作和生活的实际情况。 瑞典乌普萨拉大学是一所规模庞大的研究型大学，具有强大的国际地位。其最终目标是以最高品质且具有现实意义的教育与研究，从而为社会带来积极贡献。我们最重要的资产在于全部7,500名员工和53,000名学生，他们凭借好奇心与奉献精神，使瑞典乌普萨拉大学成为瑞典最令人兴奋的工作场所之一。 了解更多关于我们的福利以及在瑞典乌普萨拉大学工作的体验 [会员链接] 该职位可能需要进行安全审查。如果进行安全审查，申请者必须通过审查程序才能具备就业资格。 请勿发送招聘通知或广告服务。 请通过瑞典乌普萨拉大学的招生系统提交您的申请。 专注于可扩展量子程序验证项目的博士学生，其聘用类型为临时职位，合同形式为合同，属于全职，入职日期为2026年9月1日或按约定时间，薪资为固定工资，岗位数量为1个，全职当量相当于100个，地点为瑞典乌普萨拉市乌普萨拉县，国家为瑞典，参考编号为UFV-PA 2026/2571，发布于2026年8月21日，最后申请日期为2026年11月15日 登录并提交申请

Application: The application must include: A statement (max 2 pages) describing the applicant’s motivation, research interests, a concise summary of their Master’s thesis (or comparable project), and the earliest possible starting date; contact information for at least one reference (no reference letter required at this stage). A CV. Degrees and transcripts with grades (officially translated to English or Swedish). The Master’s thesis (or draft), publications, and other relevant self-produced reports. Promising applicants will be invited for interviews before a hiring decision is made.