后量子密码学博士职位

项目概览

本项目招聘 1 名全日制博士生，目标是为后量子时代开发可实际部署的密码技术，研究重点为可证明安全性，并从方案设计之初就把实现安全纳入考虑。

博士生将把密码方案设计与形式化安全分析结合起来，缩小理论安全保证与现实世界安全实现之间的差距，同时与研究侧信道攻击和安全实现的学者密切合作。

项目由 K. Hövelmanns 负责指导、A. Hülsing 协同指导，合同为期 4 年，第 9 个月进行中期评估；职位按荷兰大学集体劳动协议 P 级支付每月税前 €3,059–€3,881。

申请截止时间为 2026 年 8 月 12 日，职位位于荷兰北布拉班特省埃因霍芬，属于临时、全日制、1.0 FTE 聘用。

项目详情

【研究方向与方法】

研究核心是设计下一代后量子密码方案，并对其安全性给出形式化、可验证的分析。课题不仅关注抽象协议在数学模型中的安全证明，还要求在设计阶段考虑实现层面的攻击面，使最终方案能够更可靠地过渡到安全的真实部署。博士生需要对密码协议的设计与形式化安全分析保持浓厚兴趣，并有动力主导具体研究项目、推进问题定义、方案构造、安全证明和结果呈现。

研究环境横跨后量子密码学、可证明安全和实现安全三个方向。候选人将与侧信道攻击及安全实现研究人员紧密合作，因此课题可能需要反复评估理论假设与实现约束之间的关系。研究说明没有规定某一种算法族、协议场景、证明模型、侧信道类型或软件工具链，具体选题边界、阶段性成果和实验安排需要入职后与导师团队确定。

【指导、团队与科研环境】

K. Hövelmanns 为主要导师，A. Hülsing 为协同导师。团队提供每周一次的指导会议，帮助博士生持续推进研究；同时会在学术写作、报告展示和职业发展方面提供指导，并支持灵活工作时间。团队强调跨学科协作和高质量科研成果。

数学与计算机科学系拥有 140 余名科研人员、250 余名 PhD 与 EngD 候选人以及 3,000 余名学生，并与埃因霍芬 Brainport 地区的主要产业伙伴和全球高校合作。埃因霍芬理工大学整体有 13,000 余名学生和 7,000 余名员工；学校所在的 Brainport Eindhoven 聚集 7,000 余家高科技企业，在人工智能、光子学、半导体和先进制造领域具有活跃的研发活动。学校提供技术基础设施、校内儿童日托和体育设施，员工可按优惠条件不限次数使用校内学生体育中心；校园环境绿化良好，步行可达中央火车站。

【聘用、培养与福利】

合同为全日制 4 年制临时职位，并在第 9 个月进行中期考核。四年聘期内至少 10% 的工作时间用于教学，且任一年度的教学比例最高为该年度聘用时间的 15%。薪资按荷兰大学集体劳动协议 P 级执行，范围为每月税前 €3,059–€3,881；另有 8.3% 年终奖金和 8% 年度假期津贴。福利还包括养老金、带薪孕期与产假、部分带薪育儿假，以及通勤、居家办公和网络费用补贴。

学校提供高质量培训和其他支持，帮助博士生成长为具备自我认知和独立研究能力的科研人员，并要求博士生主动管理自身学习过程。国际候选人可获得 Staff Immigration Team 的支持；税务补偿方案“30% facility”可能适用，但是否符合条件需根据个人情况确认。

申请要点

• 学历要求：须持有计算机科学、数学或相关学科硕士学位。

• 专业基础：应在密码学、算法、离散数学或相近领域具备扎实基础，并能通过既往项目体现较强的分析和问题解决能力。

• 研究动机：需要对密码协议设计和形式化安全分析感兴趣，并愿意主导研究项目。

• 加分经历：相关领域研究经验属于加分项，但不是硬性要求；C/C++、Rust 或 Python 等编程能力同样属于加分项。

• 申请材料：须提交求职信，说明申请动机及与职位匹配的资历；提交成绩单，以展示与职位相关的课程；提交简历，其中包括发表成果清单以及 3 名推荐人的联系信息。

• 推荐人规则：招聘团队可能在流程任何阶段联系推荐人，申请者宜在提交申请时提前通知推荐人。学校优先审理材料完整的申请。

• 提交方式：必须通过在线申请按钮提交完整材料；电子邮件或邮寄申请不予处理。招聘方不接受未经邀请的服务推介。

• 截止时间：2026 年 8 月 12 日（星期三）；相关日期记录列出的截止时刻为欧洲/阿姆斯特丹时间 23:59。

• 选拔要求：流程可能包括入职前审查，例如知识安全核查；相关要求参照荷兰国家知识安全指南。

• 职位信息：临时职位，全日制，1.0 FTE，仅 1 个名额，工作城市为埃因霍芬，职位编号 2026/424。

• 咨询方式：申请流程问题可联系数学与计算机科学系 HR Services，邮箱 HRServices.MCS@tue.nl。

需要进一步确认

• 招聘信息明确将职位称为全额资助博士职位，并给出工资与福利，但没有单列学费处理方式、研究经费额度、差旅预算或设备预算，建议向项目方确认实际覆盖范围。

• 公开日期记录存在一天差异：职位详情标注 Published 2026-07-14，另一发布日期记录为 2026-07-15；申请截止日均为 2026-08-12。

• 项目尚未明确具体后量子密码方案类别、目标应用、形式化安全模型、侧信道评估范围、实现平台及首年里程碑，申请前可向导师了解。

• “30% facility”为可能适用的税务补偿安排，并非所有国际候选人自动获得，最终资格需由有关机构按个人情况认定。

PhD 项目深度调研报告：后量子密码学博士项目

执行结论

建议：有吸引力，但需要核实匹配度。

对于希望把可证明的后量子密码学与实现安全结合起来的申请者，这是一个资助条件较好、学术逻辑清晰的博士机会。最有说服力的不只是项目标题，而是研究目标、两位导师的近期论文与 Applied and Provable Security 研究组的研究布局高度一致；该组同时覆盖应用密码学、形式化安全分析和高保证验证。

聘用条件也相当透明。岗位为四年全职雇员制博士职位，公布了逐年薪资、福利、每周指导会议、9 个月中期评估和明确的申请材料。领域发展信号同样较强，因为后量子密码学已经进入标准落地和迁移阶段，不再只是停留在前瞻设想中的研究主题。

主要疑虑在于具体实施范围尚不明确。岗位没有说明首选的密码原语或协议族、形式化对手模型、泄漏或故障模型、实现平台、侧信道合作人员、现有测量设备或第一年成果要求。“实现安全”可能对应截然不同的研究计划，因此这些缺口很重要。如果申请者愿意在入职后参与界定工作包，并能在面试中获得对范围和资源问题的可信回答，该项目的吸引力较高。

学校、培养体系与地域背景

Eindhoven University of Technology 为本项目提供了可靠的技术研究环境。Mathematics and Computer Science 系同时覆盖数学基础与计算机科学，Discrete Mathematics 研究集群则提供代数、组合和算法推理方面的相关能力。更直接的是，Applied and Provable Security 研究组从事应用密码学、形式化定义、证明技术、安全协议和机器检查的密码学验证。

更广泛的量子研究环境可作为有益背景。Center for Quantum Materials and Technology Eindhoven 汇集数学、物理和电子工程领域约 40 名研究人员，并把后量子密码学和信息安全列为研究主题。这说明项目有机会接入跨学科量子研究网络，但不能据此认定本博士课题已经获得专用硬件、有保障的实验室时段或产业实现合作方。

2026 年机构排名显示，TU/e 综合并列第 192、Computer Science 第 93、Engineering 第 84。这些数字支持学校整体的国际可见度和技术实力，但不能直接衡量导师关系质量、项目资源或博士完成情况。

Eindhoven 所在的 Brainport 地区可能有利于接触半导体、嵌入式系统和安全工程社群。不过，岗位并未列出企业合作方、实习或部署路径，因此地域优势是积极但次要的信号，远不如导师和研究组的匹配度有决定性。

导师与实验室评估

导师研究方向

Kathrin Hövelmanns 是主要导师，现任 tenured assistant professor，研究重点是缓解量子计算对敏感通信的威胁。她近期的工作与岗位目标高度一致，包括后量子安全证明、Fujisaki–Okamoto 变换、口令认证密钥交换、解密行为，以及面向实现约束的证明问题。

Andreas Hülsing 是共同导师，并领导 Applied and Provable Security 研究组。他在基于哈希的签名、量子随机预言机安全论证、考虑侧信道的密码学、标准化、密码实现和机器检查验证方面进一步增强了团队能力。这种互补很有价值，因为项目既需要新的安全推理，也必须与可执行系统中的真实约束保持联系。

两位导师与“从一开始就考虑实现安全”的研究目标高度匹配。现有证据支持较强的学术适配度，但尚未说明两人如何分工、哪些实现研究人员会参与，以及证明与代码多久能获得一次专门评审。

近期重要论文

• “(Un)breakable Curses: Re-encryption in the Fujisaki-Okamoto Transform”（EUROCRYPT 2025）。 论文提出 computational rigidity，并研究变换后 KEM 中重新加密的替代方案。它把 CCA 安全证明、量子随机预言机推理、实现成本和侧信道暴露直接联系起来，是本项目“证明+实现”研究议程最清晰的先例。

• “CAKE requires programming”（2025 年预印本）。 该工作使用压缩且可提取的量子随机预言机技术，考察 (O)CAKE 的后量子安全性，并指出证明策略需要满足一个 programming 条件。这说明导师会严格检验有吸引力的证明主张能否经受量子安全分析。其预印本状态和偏重证明的特点意味着，它尚不能证明团队已经建立完整的实现安全研究计划。

• “Towards Post-quantum Secure PAKE”（CANS 2024）。 论文在量子随机预言机模型中为 OCAKE 给出紧致的基于游戏的证明，并提供概念验证实现和运行时间数据。对申请者而言，这是很有参考价值的研究范式：明确假设、形式化证明、可执行产物和实测成本。实现结果本身仍不能证明对物理泄漏或故障攻击的抵抗能力。

• “Batch Signatures, Revisited”（CT-RSA 2024）。 该研究重新评估后量子约束下的批量签名，并讨论包括面向 TLS 使用在内的实际协议权衡，说明团队关注部署和系统成本，而不只关注渐近安全性。

• “Failing Gracefully”（2023）。 研究量子随机预言机模型中的解密失败、显式拒绝和 Fujisaki–Okamoto 变换。解密行为既是证明问题，也可能形成可观察的实现攻击面，因此与拟开展项目存在直接概念联系。

• “Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt”（CRYPTO 2022）。 该工作形式化并验证 Saber 公钥加密方案的安全推理，证明团队具备机器检查证明能力，可支持高保证设计。但经过验证的密码学证明仍不同于经过验证的常数时间软件，也不等于能够抵御物理侧信道。

从这些论文可以看到一个比单一主题更重要的稳定模式：研究组不断把后量子构造与紧致归约、量子证明模型、可执行性能、部署约束或形式化验证联系起来。这有力支持了项目所述方向，同时也说明具体博士问题仍有待确定。

实验室、资源与合作环境

Applied and Provable Security 研究组公开资料列出 8 名研究人员和 75 项研究成果，研究范围涵盖安全协议、证明方法、形式化验证，并明显聚焦后量子方向。紧凑的团队规模可能有利于密切互动；岗位还明确承诺每周指导会议、写作与报告支持，以及职业发展指导。

更广泛的量子中心可能促进数学、物理和电子工程之间的联系。荷兰政府资料也显示，政府、高校和产业界正在积极推进抗量子韧性与测试。这些都是有利的生态信号，但不能证明本项目已经拥有专用设备或有保障的使用权。

真正关键的资源问题仍没有公开答案：侧信道合作人员是谁；是否配备示波器、电磁探头、故障注入工具、迹线数据集、嵌入式开发板和专用软件；实现研究针对软件、硬件还是二者；以及设备、差旅和研究访问预算是多少。这些应作为面试问题，而不应预设为现有优势。

研究方向与领域前景

领域发展态势

后量子密码学已经进入实现和迁移阶段。NIST 于 2024 年正式发布 ML-KEM、ML-DSA 和 SLH-DSA，并随后公布迁移指南。欧盟在 2025 年发布协调实施路线图。荷兰 2026 年网络安全指南要求各组织现在就开始准备，并认为具备密码学影响的量子计算机可能在 2030–2040 年间出现。

这些政策和标准化活动带来了长期研究问题，包括安全实现、协议集成、混合迁移、性能工程、形式化保证、侧信道防护、故障处理、互操作性和对传统密码技术的可靠替换。但这并不意味着每一种新构造都会成为标准或获得部署。成功的博士论文仍需要明确的威胁模型、相对于标准化设计有说服力的优势，以及在实际目标平台上的评估。

潜在研究切入点

以下几个高价值方向与岗位和导师研究记录一致：

1. 面向证明的重新加密替代方案。 设计能够保留有意义的后量子安全保证，同时降低侧信道暴露和实现开销的变换或构造。

2. 拒绝、解密失败与可观察行为。 研究失败处理如何与形式化安全、时间信息、错误通道和稳健实现相互作用。

3. 在密码原语设计中直接考虑泄漏或故障。 将泄漏或故障假设纳入构造和归约，而不是在证明完成后再附加防护措施。

4. 机器检查的安全性与 refinement。 把基于游戏或量子随机预言机的证明连接到经过验证的规范，并在可行时进一步连接到常数时间或其他可审计实现。

5. 后量子 PAKE 与协议集成。 围绕口令认证密钥交换、混合迁移，或使用标准化 KEM 与签名的其他协议，扩展证明和实现研究。

6. 面向真实平台的 benchmark 与可移植性。 在嵌入式、服务器或受限平台上比较安全性、时延、内存、带宽和实现复杂度。

只有在导师说明资助范围、可用平台和拟合作人员后，才能进一步收窄具体方向。相比宣称开发一种通用的“下一代方案”，围绕安全证明、泄漏行为与实现成本之间的特定矛盾提出问题会更可信。

职业与就业前景

该项目可以形成有价值的复合能力组合：安全归约、量子证明模型、安全编码、形式化验证、实验评估、标准化知识，以及在理论研究者和工程师之间沟通的能力。这些能力可对应学术密码学、形式化方法团队、安全工程、产品安全、标准组织、公共部门迁移工作和专业咨询。

荷兰当前公开资料显示 ICT 从业规模较大，并仍有大量 ICT 空缺职位；欧洲网络安全报告则指出招聘困难持续存在。与此同时，荷兰数据也显示职位需求自 2023 年起降温，失业申领有所上升。因此，ICT 或网络安全的总体需求不能被当作以安全证明为核心的后量子细分市场职位充足的证据。

最稳健的职业成果来自理论和工程两方面都可见的产出，包括同行评议的证明、可审计代码或形式化产物、可重复 benchmark，以及向非专业人士解释安全保证相关决策的经验。项目名称本身并不能保证职业结果。

资助、申请与生活成本

该岗位是四年全职博士雇员职位。荷兰大学 P 薪级四年税前月薪依次为 EUR 3,059、EUR 3,546、EUR 3,708 和 EUR 3,881。岗位还列出 8% 假期津贴、8.3% 年终奖金、养老金、休假及国际员工支持。这些是已确认的税前聘用条件，并非税后收入估算。

合同包含入职 9 个月后的中期评估。教学至少占四年总聘期的 10%，且任一年度不超过 15%。申请者应确认教学如何安排，以避免与密集的证明、实现和评估阶段冲突。

当前全国指南估计，日常生活成本约为每月 EUR 1,000–1,500，房间租金约为 EUR 450–1,000。这是面向学生的宽泛规划数据，不是埃因霍温博士雇员的实际预算。租金、家庭构成、医疗保险、税费、押金、通勤和搬迁费用决定真实结余。Eindhoven 市政府提供住房机构、租客权利和租金核查信息，但不保证提供住宿。

荷兰外籍人才税务优惠可能适用于部分国际研究人员。资格受多项条件限制，雇主与雇员需要共同申请，且雇主没有义务提供最高额度的免税金额。在资格和雇主做法确认前，不应把该优惠计入生活负担测算。

申请材料包括求职信、成绩单、含发表成果清单的简历，以及 3 名推荐人。官方截止时间为 2026 年 8 月 12 日 23:59（Europe/Amsterdam）。官方职位记录显示发布日期为 7 月 14 日；如果另一界面显示 7 月 15 日，这一时间戳差异不影响已公布的截止日期，但可以向招聘部门确认。申请必须通过学校在线流程提交。

岗位还说明，选拔可能包括知识安全核查。荷兰政策提案把量子技术列为敏感知识领域之一，但这不能证明本职位或任何特定申请者一定会被核查。需要确认的是核查是否适用、在哪个阶段进行、需要提供什么信息，以及是否影响入职时间线。

申请者匹配度与准备

更适合以下申请者

• 持有计算机科学、数学或紧密相关领域硕士学位，并具备扎实密码学、算法、概率和离散数学基础的申请者。
• 喜欢形式化安全推理，同时也希望产出可执行、可进行 benchmark 或经过实验评估的成果的申请者。
• 能在可证明安全、安全软件、侧信道分析和形式化验证之间开展合作的研究者。
• 能接受项目初始范围较宽，具体原语、平台和威胁模型可能在入职后进一步确定的申请者。
• 重视每周反馈、技术写作支持，以及期限明确的四年雇员制博士岗位的申请者。

以下情况需谨慎考虑

• 更希望从事以硬件工程为主、而对形式化归约或密码设计兴趣有限的项目。
• 希望开展完全抽象的研究，不涉及实现、泄漏、性能或形式化验证问题。
• 申请前必须获得固定的密码原语、平台和工作包；这些信息目前没有公开。
• 缺少独立数学研究、安全系统工作或同时学习两个领域的能力证据。
• 难以接受教学任务、潜在核查或埃因霍温住房不确定性。

建议加强的技能与材料

• **数学与证明准备：**安全游戏与归约、概率、代数基础，以及相关场景下的格密码或基于哈希的密码学和量子随机预言机技术。
• **实现准备：**常数时间 C、C++ 或 Rust；Python 实验；可重复 benchmark；测试、性能分析和安全代码审查。
• **高保证方法准备：**泄漏与故障模型、形式化规范、EasyCrypt 或类似证明工具，并明确区分证明层保证与代码层保证。
• **科研证据：**提供一章学位论文、学术论文、形式化产物或代码仓库，并清楚说明假设、威胁模型、方法、结果和局限。
• **申请定位：**在求职信中围绕导师近期工作的一个或两个关键研究张力展开，而不要声称论文范围已经固定。
• **推荐人：**选择 3 名能够评价数学独立性、实现纪律、科研沟通或跨学科合作能力的推荐人。

风险与待核实问题

高优先级问题

1. 哪些密码原语、变换或协议族最可能成为最初的科学切入点？
2. 第一个工作包预计采用什么形式化对手模型和量子安全模型？
3. 实际纳入范围的实现威胁是什么：时间、缓存、功耗、电磁泄漏、故障、拒绝行为、掩码，还是其他模型？
4. 侧信道和安全实现方面的具体合作人员是谁？
5. 已经具备哪些硬件、测量设备、迹线数据集、软件工具链和计算资源？
6. Kathrin Hövelmanns、Andreas Hülsing 与实现安全合作人员如何分配指导职责？
7. 哪些具体产出和判断标准用于决定 9 个月中期评估能否通过？
8. 可行性评审后，博士生有多大自由度更换最初的方案或协议？
9. 本职位是否需要知识安全核查？在哪个阶段、按照什么时间表进行？

中优先级问题

1. 除每周会议外，证明、代码和实验设计多久能获得一次专业评审？
2. 每年预期达到哪些发表、开源和会议目标？
3. 设备、会议差旅、研究访问和专业培训分别有多少预算？
4. 至少 10% 的教学任务如何安排？可能承担哪些课程？
5. 新创建的代码、专利和数据集归谁所有？开源方面有何预期？
6. 研究组是否为国际员工提供临时住房或实际搬迁协助？
7. 面试是否包括证明题、编程任务、论文讨论或研究报告？
8. 另一界面记录 7 月 15 日时，官方 7 月 14 日发布时间是否会影响内部评审时间表？

证据与来源

项目与机构环境

• TU/e 后量子密码学博士职位
• TU/e Mathematics and Computer Science
• TU/e Discrete Mathematics 研究集群
• TU/e Applied and Provable Security 研究组
• Center for Quantum Materials and Technology Eindhoven
• Eindhoven University of Technology 排名

导师与近期研究

• Kathrin Hövelmanns：TU/e 研究档案
• Andreas T. Hülsing：TU/e 研究档案
• (Un)breakable Curses: Re-encryption in the Fujisaki-Okamoto Transform
• CAKE requires programming
• Towards Post-quantum Secure PAKE
• Batch Signatures, Revisited
• Failing Gracefully
• Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt

标准、迁移与领域前景

• NIST 发布首批 3 项后量子密码正式标准
• NIST IR 8547：向后量子密码标准迁移
• 欧盟后量子密码迁移协调实施路线图
• NCSC-NL：使组织具备抗量子能力
• 荷兰政府：量子计算机即将到来，荷兰已做好准备

资助、生活成本与申请风险

• 荷兰大学集体劳动协议 2025–2026
• Study in NL：日常支出与生活成本
• Eindhoven 市政府：学生住房
• 荷兰税务部门：外籍人才税务优惠
• 荷兰政府：接触敏感知识的研究人员核查

就业市场背景

• UWV：荷兰 ICT 职业劳动力市场
• 欧盟委员会：欧盟需要加强网络安全技能