Research Cryptographer & Mathematician (Web3)

Research Cryptographer & Mathematician

Full-Time/Company: Heliax

Heliax is a remote-first research and engineering organisation building open-source protocols and vertically integrated products (e.g. Anoma, Namada) to provide privacy-preserving, scalable coordination systems. They research, develop, deploy and maintain cryptographic protocols and open systems as alternatives to existing paradigms.

Applicants must be based in Europe (including the UK) and willing to travel to Berlin for initial onboarding.

Responsibilities:

- Design new cryptographic protocols (e.g. shielded state sync) to meet information-flow, security and performance goals.
- Evaluate and analyse zkSNARK/zkSTARK proof systems (e.g. Halo2, ProtoStar, Risc0 zkVM) for security, expressivity and performance.
- Update, reimplement, and combine existing cryptographic protocols for PoCs and production use-cases.
- Produce comprehensive technical specifications and collaborate with engineers on implementations.
- Implement, review, and test cryptographic operations and protocols, primarily in Rust.
- Contribute to open-source projects and research outputs.

Requirements:

- Strong mathematical and/or cryptographic background (complexity theory, abstract algebra, protocol design).
- Expertise in constructive protocol design and analysis of distributed cryptographic protocols.
- Demonstrable prior work (research papers, projects, or detailed designs) in protocol design.
- Comfortable implementing and testing crypto code, preferably in Rust.

Nice to have:

- Published papers in mathematics, theoretical CS, or cryptography.
- Experience with distributed systems or OS architecture/design.
- Experience with Zerocash/Zexe/VeriZexe and related architectures.
- Academic qualifications in cryptography or mathematics.

Stack:

Rust, zkSNARKs, zkSTARKs, Halo2, ProtoStar, Risc0 zkVM, Arkworks, elliptic curves, hash functions, DKG, threshold encryption

Benefits:

- Relocation and visa assistance to Germany (Berlin) for onboarding.

📩 Показать контакты