IBM Research Industry · Research

PhD Position — Time and Memory Efficient Proof Systems

CHF 50'000 – 70'000 / year

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.

Interview process

After the initial screening based on the uploaded documentation, identified candidates will be contacted for a first technical discussion on their experience, background, and motivations, followed by coding interview and an AI/ML interview. Further selection steps might be added based on candidates skills and project needs.