博士奖学金：后量子零知识证明与可信 AI

项目885 · University of Sheffield - School of Computer Science · University of Sheffield - School of Computer Science

所在国家或地区: 英国
申请截止日期: 2026-08-26（具体时刻请核对原始公告）
资助信息: 覆盖 UK home 学费，并提供 3.5 年、税前 £25,000 的津贴；公开说明称该津贴高于标准 UKRI 水平，并会按年度通胀调整。

申请工作台

保存项目，围绕当前机会准备申请。截止日期和资格请以原始公告为准。

登录后保存项目或使用申请工具

阅读项目调研与申请判断

项目介绍

项目概览

本博士奖学金聚焦后量子零知识证明与可信 AI 的交叉研究，目标是为下一代量子抗性、可验证、可审计的 AI 系统奠定密码学基础。

项目由 University of Sheffield 的 School of Computer Science 与 Defence Science and Technology Laboratory（Dstl）合作开展，研究场景兼顾学术前沿与政府/国防应用需求。

项目提供英国本地学费资助，并配套 3.5 年、税前 £25,000 的津贴；公开说明还提到该津贴高于标准 UKRI 水平，并会按年度通胀调整。

申请截止时间为 2026 年 8 月 26 日，项目主要面向符合 UK home 学费身份的申请者。

项目详情

公开说明把这一课题定位为两个高度现实且彼此关联的难题的交汇点。第一，量子计算的发展正在削弱现有公钥密码与相关基础设施的长期安全性，如何设计能够抵御量子攻击的证明与验证机制，已成为后量子密码学的重要方向。第二，AI 系统尤其是大模型、联邦学习和去中心化 AI 流水线，越来越需要在不泄露训练数据、模型参数或敏感中间结果的前提下证明“结果可信”。项目希望围绕 post-quantum cryptography、zero-knowledge proofs（ZKPs）和 trustworthy AI 三个方向，探索可落地的安全与验证框架，而不是停留在纯理论层面的性质证明。

研究主题给得比较具体，主要包括四类工作。其一是设计高效、抗量子的零知识证明系统，公开说明特别提到 lattice-based 或 code-based 构造，强调它们应能够在量子威胁背景下保持安全。其二是研究可验证且保护隐私的机器学习方法，例如在不暴露训练数据的情况下证明模型完整性、训练过程诚实性或输出公平性，这与可信 AI 的审计需求直接相关。其三是面向 federated learning 和 decentralised AI pipelines 设计可扩展的 ZK-proof，以便把证明机制嵌入分布式训练、跨节点协作和异地推理流程。其四是对后量子 ZKP 协议做形式化安全分析，并评估它们在真实 AI 部署中的鲁棒性、可实现性与攻击面。

从研究方法上看，这个课题不仅要求推导和证明，还隐含了实现、验证和系统评估的工作路径。学生很可能需要在密码学建模、协议构造、复杂度分析、原型实现和实验验证之间反复迭代；如果最终研究重点偏系统或应用，公开说明还提到可使用现代计算设施与实验平台，例如 robotic testbeds 或 simulators。也就是说，项目并不只限于纸面证明，而是希望把 ZK 与可信 AI 的想法推进到可以在现实系统中讨论部署的问题：什么可以证明、证明给谁看、成本是否可接受、是否会牺牲隐私，都是课题的一部分。

导师与团队环境方面，University of Sheffield 的 School of Computer Science 被描述为 security、machine learning、robotics 和 autonomous systems 的重要研究中心。学生将加入一个处于机器学习、安全与后量子密码学交叉点的研究组，并有机会与 robotics、autonomous systems 以及 AI safety 方向的合作伙伴协作。Dstl 作为合作方，提供来自国防科学与技术体系的应用视角，其职责覆盖 robotics、autonomous systems、AI 和 Data Science 等领域的建议、分析与能力支持。这个组合意味着项目既有学术研究空间，也带有较强的应用约束和面向真实部署的目标导向。

申请者背景要求写得较清楚。公开说明希望申请者持有或即将获得相关领域的 first-class 或 strong upper-second-class 学位，或者硕士学位，专业可以是 Computer Science、Applied Mathematics 或紧密相关学科。数学基础必须扎实，编程能力也是核心要求，且优先考虑 Python。若有 machine learning、information security 或 modern crypto systems 的接触经验，会被视为额外优势。申请流程上，公开说明建议候选人先通过邮件与 Dr Prosanta Gope 或 Dr Behzad Abdolmaleki 非正式交流，并附上一份简短 CV 说明自身与课题的匹配度；正式申请则需要通过 University of Sheffield 的申请门户提交，具体材料清单需以门户说明为准。

从项目定位看，这个课题对申请者的准备要求并不只是“会写代码”或“会读密码学论文”，而是希望候选人同时具备数学推导、编程实现与跨领域理解能力。因为研究对象横跨 post-quantum cryptography、zero-knowledge proofs 和 trustworthy AI，工作中很可能会同时碰到协议安全性、机器学习可验证性、系统集成和应用约束等问题。公开说明也强调，该课题的价值在于把验证、审计和隐私保护放入真实 AI 系统中考量，而不是仅仅追求抽象上的安全性定义。

申请要点

申请时间：公开说明给出的截止日期为 2026 年 8 月 26 日；页面同时标注发布时间为 2026 年 7 月 30 日。
资助信息：覆盖 UK home 学费，并提供 3.5 年、税前 £25,000 的津贴；公开说明称该津贴高于标准 UKRI 水平，并会按年度通胀调整。
申请者背景：相关本科或硕士学位可来自 Computer Science、Applied Mathematics 或紧密相关领域，且最好具备较强数学基础。
技能要求：需要编程能力，优先 Python；若有 machine learning、information security 或 modern crypto systems 经验更有优势。
联系方式：Dr Prosanta Gope（p.gope@sheffield.ac.uk）或 Dr Behzad Abdolmaleki（behzad.abdolmaleki@sheffield.ac.uk）。
申请材料：先通过邮件进行非正式沟通，并附简短 CV；正式申请通过学校申请门户提交，具体材料清单以门户为准。
合作环境：项目与 Dstl 合作，研究场景同时面向学术前沿与政府/国防应用需求。
资格边界：公开说明主要面向符合 UK home 学费身份的申请者。

需要进一步确认

公开说明未明确写出 Dstl 是否附带国籍、安保审查或出口管制要求；如果涉及敏感系统或合作流程，这些边界仍需进一步确认。
页面提到“主要面向 UK home 学费身份”，但海外学费申请者是否存在替代资助或其他路径，公开说明没有写清。
“按年度通胀调整”的具体执行规则、参考基准和适用范围未进一步说明。
学校申请门户的完整材料清单、是否分轮审理以及是否还存在其他内部筛选条件，公开说明未展开。

核对原始项目信息

收录来源可能是学校或招聘平台；正式申请入口及最新要求请核对公告与下方报告中的官方来源。

项目深度调研报告

报告生成记录：2026-07-31。生成日期不代表招聘方确认项目仍开放。

资料更新记录：2026-07-31。申请前请再次核对原始公告。

博士项目深度调研报告：Post-Quantum Zero-Knowledge Proofs and Trustworthy AI

执行结论

推荐标签：需要谨慎核实。

这是一个技术上颇具吸引力的博士题目，导师匹配度也较强，尤其适合已经具备 cryptography、security proofs、post-quantum assumptions 和 proof-system implementation 训练的申请者。项目把工作放在 post-quantum cryptography、zero-knowledge proofs 和 trustworthy AI 的交叉处，并与 Dstl 合作；公开信息给出的截止日期是 2026 年 8 月 26 日，截至 2026 年 7 月 30 日 仍未到期。

决定性的顾虑在于资助资格。项目说明写的是 UK Students，覆盖标准 UK Home tuition fees，并提供约 GBP 25,000/年的免税津贴，持续 3.5 年。Sheffield 的学费查询显示，2026-27 年 School of Computer Science 的 Overseas 博士学费远高于 Home 学费。因此，中国和其他海外 fee-status 申请者应先拿到书面确认，弄清资格、学费差额是否覆盖，以及是否存在 Dstl 相关的国籍、安全审查或出口管制限制，再把它视为一个已落实资助的机会。

学校、项目与地点信号

University of Sheffield 的整体学校信号较强。QS 将 Sheffield 列入近年全球前 100，并标注其为 Russell Group 成员。Sheffield 自身的 impact 页面也显示其在 REF 2021 中有较强表现。

项目对应的本地环境是 School of Computer Science。学校的 PhD 页面描述了国际化博士环境、较高的 REF 2021 表现，以及需要先确认导师或项目并提交支持材料的申请路径。官方研究页显示研究组覆盖 Machine Learning、Foundations of Computation、Security of Advanced Systems 和 Testing。

对本项目最相关的本地环境是 Security of Advanced Systems 组。其范围包括 secure-by-design systems、formal security analysis、AI-assisted security、cryptographic building blocks、robotics、autonomous systems 和 advanced manufacturing security。这为一个必须同时处理严格密码学与 trustworthy AI 部署问题的博士提供了可信的学术承载环境。

导师与实验环境评估

导师研究方向

Dr Behzad Abdolmaleki 与该项目的技术方向最为贴合。其官方简介写明研究兴趣包括 post-quantum 和 quantum cryptography、zero-knowledge proofs、cryptocurrencies，以及 secure/transparent AI and ML systems。其个人学术页与论文列表还显示，近期工作涉及 lattice-based PVSS、zkRNN、NIZKs、proof-carrying data 及相关 ZK/PQC 问题。

Dr Prosanta Gope 则提供了应用安全与 privacy-preserving systems 方面的补充深度。其官方简介指出其专长包括 authentication、access control、IoT、mobile communications、adversarial machine learning 和 privacy-preserving machine learning，并展示了较强的论文与编辑记录。ScienceDirect 的作者页也可旁证其高产作者形象和近期安全方向论文。

近期重要论文

zkRNN: Zero-Knowledge Proofs for Recurrent Neural Network Inference (2026)。这是最接近本项目 trustworthy-AI 一侧的近期证据，目标是在隐藏模型参数、hidden states 和私有输入的同时验证输出。
A Generic Framework for Practical Lattice-Based Non-interactive Publicly Verifiable Secret Sharing (2025)。它直接关联 post-quantum verifiability，并采用 lattice assumptions。
Shuffle arguments based on subset-checking (2024)。这篇论文与高效 zero-knowledge shuffle arguments 相关，适用于可扩展 proof-system 设计。
Circuit-Succinct Universally-Composable NIZKs with Updatable CRS (2024)。它与真实部署有关，因为涉及 composability 和 common-reference-string trust。

研究环境与合作场景

Security of Advanced Systems 组可以作为合理的本地研究承载点，而更广泛的 Dependable and Secure Systems 主题把 security 与 foundations、AI/software testing 和 privacy 连接起来。Dstl 合作本身也很有分量，因为其官方能力领域覆盖 AI and data science 与 robotics and autonomous systems。

当前缺口主要在操作层面。公开材料没有说明 Dstl 导师是谁、数据如何开放、论文是否需要审批、IP 如何处理、是否有现场访问，以及是否存在安全限制。

研究方向与领域前景

领域动向

post-quantum cryptography 已经从“未来规划”进入“实际迁移”。NIST 在 2024 年公布了首批三项最终化的 post-quantum 加密/签名标准，并呼吁系统管理员开始迁移。英国 NCSC 也给出了分阶段迁移时间表：2028 年前完成规划与发现、2031 年前推进优先系统迁移、2035 年前完成全面迁移。

基于 zero-knowledge proof 的 verifiable ML 也很活跃。2026 年的一篇综述回顾了 ZKML 在 verifiable training、inference 和 testing 方面的工作，同时强调 proof cost、scalability 和 model-expression 的挑战。

可能的研究切入点

可行方向包括：用于 model-integrity 声明的 post-quantum ZK proofs、面向 sequential 或 federated AI inference 的 proof systems、用于 AI-audit pipeline 的 lattice-based commitments，以及不暴露私有数据或模型参数的 AI systems 形式化安全模型。

较强的一年级计划不应试图一次解决“PQC + ZKP + AI”的全部问题。更好的范围应当明确一个 proof family、一个 model class、一个 privacy/threat model 和一个 evaluation setup。

职业与市场前景

职业市场对应用密码学、PQC migration、隐私保护计算、AI assurance 和 defence/security R&D 的需求较好。英国政府 cyber-sector 分析估计，英国网络安全产业年收入约 GBP 14.7 billion，FTE 约 69,600。NIST 和 NCSC 的证据说明，PQC 迁移是一个多年的机构性项目，而不是边缘学术题。

限制在于专业化程度。这一项目对 cryptography、security 和 AI assurance 路径更有价值，而不是对宽口径 AI product engineering 直接最优。

资助、申请与生活成本

对符合 Home fee 条件的申请者来说，资助包很强；对中国或其他海外申请者则有明显风险。项目介绍写明 UK Students、Home tuition-fee coverage，以及 GBP 25,000 的免税津贴，持续 3.5 年。Sheffield 官方 2026-27 PGR 学费查询显示，School of Computer Science 的 Home 学费约 GBP 5,238 到 GBP 15,238，而 Overseas 学费约 GBP 30,790 到 GBP 45,790。

UKRI 的一般 studentship 页面说明，研究机构会设定资格标准，且国际名额有限。这并不改变项目级别的 “UK Students” 表述。Sheffield-China Scholarship Council 页面也不能简单视为 2026 入学的备用路径，因为页面写明该 scheme 目前关闭，且 2026 entry 没有可用奖学金。

生活成本方面，Sheffield 的住宿租金页面列出了 2026/27 年研究生示例，如 city en-suite 42 周 GBP 7,558.74、51 周 GBP 9,178.47，以及 51 周 studio GBP 12,259.38，且通常包含水电网。学校也有一般生活成本说明。若学费已解决，GBP 25,000 的津贴算是较强，但不能自动抵消未覆盖的海外学费差额。

正式博士申请指南在这里。国际 PGR 指南说明，PGR 项目没有申请费，且开始时间通常由导师协商。

申请者匹配与准备

更适合的申请者

该项目更适合数学基础强、密码学基础强、网络安全基础强且编程扎实的申请者。项目介绍写到，Computer Science、Applied Mathematics 或相近学科均可，且数学能力和编程能力，最好是 Python，都是关键条件。若已有 ZKP、lattice/code-based PQC、formal security definitions 或 proof-system implementation 经验，会特别相关。

需要谨慎的情况

如果申请者的 AI 经验主要是模型调参、prompt engineering、泛数据科学或高层次 AI ethics，那么需要补足大量密码学训练。海外 fee-status 申请者也应先谨慎，直到资助与资格得到书面确认。

建议补强的技能与证据

有用的材料包括：一份收窄研究范围的简短 proposal；对几篇导师近年论文的阅读笔记；一个小型 proof-system 或 verifiable-inference 原型；以及清晰的 proof-writing 成熟度证据。国际申请者还应尽早核实英语要求；Sheffield 将计算机科学研究学位的语言要求列为 IELTS 6.5 overall、各单项 6.0 或同等水平。

风险与待核实问题

高优先级问题

中国国籍或其他海外 fee-status 申请者是否可以申请该奖学金？
如果可以，是否会由项目、学校或资助方覆盖 Home 与 Overseas Computer Science PhD 学费差额？
Dstl 参与是否要求英国国籍、英国居留、安全审查、出口管制合规、受限数据访问或现场访问？
2026 年 8 月 26 日是否是英国时间下的硬截止，预期开始时间是什么？
谁负责日常密码学指导，Dstl 在导师分工中扮演什么角色？

中优先级问题

第一年交付物是什么：proof-system design、prototype、formal model、benchmark，还是应用型 AI-audit 案例？
preprint、论文、开源代码和 thesis chapters 是否都需要 Dstl 审批？
做 ZKML 实验可用的算力和软件资源有哪些？
stipend 是否在 3.5 年全程随年增长调整？
会议差旅、研究训练和合作访问是否有经费支持？

证据与来源

学校与项目环境：

导师与论文：

资助、申请与生活成本：

领域与外部环境：

按研究方向和所在国家或地区整理，优先展示资助类型相近的机会。申请前请核对各项目的最新公告。