Cryptographic Engineer - ZK
Remote / Canada
Cryptographic Engineer at IOHK contributing to zero-knowledge proofs for Cardano and Midnight projects. PhD student with research in Cryptography and Quantum Computing. Expertise in ZK proof systems, elliptic curve cryptography, threshold signatures, FHE, and MPC. Fluent in English, French, and Chinese.
IOHK
May 2023 — Present
Member of the cryptography team contributing to the design and implementation of zero-knowledge proofs for the Cardano and Midnight projects. Work includes optimizing halo2 proof system and implementing circuits (SHA256/512, Hash-to-Curve, Edwards-curve), implementing and optimizing cryptographic primitives (pairings, arithmetic over fields and elliptic curves), benchmarking ZK proof systems (FRI, HyperPlonk, Spartan, Lasso/Jolt), collaborating on audits with Galois, ZKsecurity, Veridise, and researching post-quantum ZKPs and threshold ECDSA.
McMaster University
Dec 2022 — Dec 2023
Research on topics in Cryptography and Quantum Computing.
TMU University
Sept 2021 — Dec 2022
Teaching and assisting with courses on programming and cryptography.
xineurope.com
Sept 2018 — Jan 2021
Analyzing and interpreting complex data sets to support decision-making processes.
PhD · Computer Science
2021 – 2023
MSc · Pure Mathematics
2013 – 2018