Location
rüschlikon, zürich, Switzerland
Posted
July 04, 2026
Job Description
has an opening for a PhD position for research on cryptographic proof systems. Position Details -Funded for 4 years
-Possibility of joint supervision at EPFL
-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...
-Possibility of joint supervision at EPFL
-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...