IBM Research Europe – Zurich Lab 
Rüschlikon, Switzerland Offer Summary
IBM Research Europe – Zurich Lab in Rüschlikon, Switzerland, offers a four-year PhD position focused on developing time and memory-efficient cryptographic proof systems. The role aims to reduce computational overhead for verifying large-scale calculations, supporting applications in secure cloud computing and privacy-preserving technologies. Candidates require an MSc in Computer Science or Mathematics with strong analytical skills in algebra, combinatorics, and probability. Valuable expertise includes zero-knowledge proofs, coding theory, streaming algorithms, or lightweight cryptography. Joint supervision at EPFL is possible, with an ideal start date in late 2026 or early 2027. IBM fosters a diverse, inclusive, and multicultural research environment that supports flexible working arrangements and work-life balance. Applicants must submit a CV and reference contacts via the official application portal.
Generated from stored offer content. Always confirm details in the official posting.
Project Description
PhD Position
Time and Memory Efficient Proof Systems
Ref. 2026_022
The Foundational Cryptography group at IBM Research Zurich 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 one or more of the following areas is valuable:
Cryptographic proof systems (zero-knowledge proofs, succinct arguments)
Error-correcting codes and coding theory
Streaming algorithms and memory-efficient computation
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.
How to Apply
If you are interested in this position, please submit your application including your CV and contact information for at least two references.
Apply
If you have any technical question related to this position, please contact Dr. Jonathan Bootle at jbt@zurich.ibm.com.