🔒Открыть пост
и посмотреть медиа
и посмотреть медиа
Research Cryptographer & Mathematician
Employment type: Full-time/Company: Heliax
Heliax is a remote-first research and engineering organization building open-source protocols and vertically integrated products (e.g., Anoma, Namada) focused on privacy, information flow control, and scalable distributed systems.
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 specified security, information-flow, and performance goals.
- Analyze and evaluate existing proof systems (zkSNARKs, zkSTARKs) and other cryptographic protocols for security, expressivity, and performance.
- Update, reimplement, and combine protocols for proofs-of-concept and production use-cases.
- Produce comprehensive technical specifications for protocol designs and collaborate with engineers on implementations.
- Implement, review, and test cryptographic operations and protocols, primarily in Rust.
Requirements:
- Mathematical and/or cryptographic background in relevant subfields (complexity theory, abstract algebra, protocol design).
- Expertise in constructive protocol design and analysis of distributed cryptographic protocols (research papers, projects, or detailed system designs).
Nice to have:
- Published papers in mathematics, theoretical CS, and/or cryptography.
- Experience with distributed systems and/or operating systems architecture.
- Experience with Zerocash/Zexe/VeriZexe and related architectures.
- Academic qualifications in a relevant field (cryptography or mathematics).
Stack:
Rust, zkSNARKs, zkSTARKs, Halo2, ProtoStar, Risc0 zkVM, Arkworks, elliptic curves, hash functions, threshold encryption, distributed key generation
Benefits:
- High degree of independence in working conditions and task prioritization.
- Relocation assistance to Germany (e.g. visa help).
📩 Apply