🔒Открыть пост
и посмотреть медиа
и посмотреть медиа
Research Cryptographer & Mathematician
Full-time/Company: Heliax
Heliax is a remote-first company that researches, develops, deploys, and maintains open-source protocols and mechanisms to serve everyday needs. They build vertically integrated open-source products and networks (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) from first principles to meet specified information flow, security, and performance goals.
- Evaluate and analyze existing cryptographic protocols, often zkSNARK or zkSTARK proof systems (e.g. Halo2, ProtoStar, Risc0 zkVM) for security, expressivity, and performance.
- Update, alter, reimplement, and combine existing cryptographic protocols, customizing them for proofs-of-concept and production use-cases.
- Produce comprehensive technical specifications for designs & instantiations of cryptographic protocols and collaborate with engineers on implementations.
- Implement, review, and test cryptographic operations & protocols, primarily in Rust; evaluate implementations for correctness and performance.
Requirements:
- Mathematical and/or cryptographic background in relevant subfields (complexity theory, abstract algebra, cryptographic protocol design).
- Expertise in constructive protocol design and analysis of distributed cryptographic protocols.
- Demonstrated protocol design work (research paper, experimental project, past work project, or detailed system write-up).
Nice to have:
- Published papers in mathematics, theoretical computer science, and/or cryptography.
- Experience with distributed systems and/or operating systems architecture/design.
- 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
Benefits:
- Relocation assistance to Germany (e.g. visa support) for onboarding in Berlin.
- High degree of independence in working conditions and task prioritization.
- Opportunity to work on open-source protocols and cross-disciplinary problems.
📩 Apply