PhD Studentship: Post-Quantum Zero-Knowledge Proofs and Trustworthy AI
This PhD studentship focuses on developing post-quantum zero-knowledge proof systems and integrating them with trustworthy AI, enabling verifiable and privacy-preserving machine learning. The research will explore lattice- or code-based cryptographic methods, scalable proof constructions for decentralised AI, and formal security analysis in real-world applications, with access to advanced computing and robotics testbeds through collaboration with DSTL.