Looking for an internship in ZK, MPC, FHE, and post-quantum cryptography? Interested in working with AI, formal verification, and TEEs? We are always looking for talented peeps to join our team and do interesting research!

Here are some of the projects our previous interns have worked on:

• Reproducing and Exploiting ZK Circuit Vulnerabilities
• A Technical Dive into Jolt: The RISC-V zkVM
• An Introduction to Interactive Theorem Provers
• Circle STARKs: Part II, Circles

The fast track to get an interview is to solve our zkBank challenge, but feel free to apply directly by submitting your resume to [email protected].

We are looking forward to hearing from you!