PhD in Time and Memory Efficient Proof Systems

has an opening for a PhD position for research on cryptographic proof systems. Position Details -Funded for 4 yearsbr-Possibility of joint supervision at EPFLbr-Ideal start date late 2026 or early 2027 Research Project Overview Cryptographic proof systems allow a prover to convince a verifier that a computation was performed correctly. These systems have applications in secure cloud computing, verifiable machine learning, and privacy-preserving technologies. However, many proof systems require the prover to use significantly more time and memory than the original computation. The research will develop new proof systems with reduced time and memory overheads, making it practical to verify the integrity of large-scale computations efficiently. Requirements -MSc (or equivalent) in Computer Science or Mathematics (or another relevant field) The ideal candidate would enjoy using a mixture of algebra, combinatorics, and probability to analyze and optimize algorithms. Strong background in one or more of the following areas is valuable:br-Cryptographic proof systems (zero-knowledge proofs, succinct arguments)br-Error-correcting codes and coding theorybr-Streaming algorithms and memory-efficient computationbr-Lightweight cryptography Diversity Work Environment IBM is committed to fostering diversity and inclusion in the workplace. You will join an open, multicultural research environment that values different perspectives and supports flexible working arrangements. Our goal is to help all genders and backgrounds thrive professionally while maintaining a healthy work–life balance.