🔒Открыть пост
и посмотреть медиа
и посмотреть медиа
Research Cryptographer & Mathematician
Employment type: Full-time/Company: Heliax
Heliax is a remote-first company that researches, develops, deploys, and maintains open-source protocols and mechanisms to build vertically integrated open-source products and networks (e.g. Anoma, Namada) serving everyday needs.
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 information flow, security, and performance goals.
- Evaluate and analyze existing cryptographic protocols and proof systems (e.g. Halo2, ProtoStar, Risc0 zkVM) for security, expressivity, and performance.
- Update, reimplement, and combine existing cryptographic 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; evaluate implementations for correctness and performance.
- Work on distributed cryptographic primitives such as threshold encryption and distributed key generation.
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 via papers, projects, or detailed designs).
- Practical experience implementing or evaluating cryptographic protocols and proof systems (experience with Rust is expected).
Nice to have:
- Published papers in mathematics, theoretical computer science, or cryptography.
- Experience with distributed systems and/or operating systems architecture/design.
- Experience with Zerocash, Zexe, VeriZexe and related architectures.
- Academic qualifications in cryptography or mathematics.
Stack:
Rust, zkSNARKs, zkSTARKs, Halo2, ProtoStar, Risc0, Arkworks, Zerocash, Zexe, VeriZexe, elliptic curves, threshold encryption, distributed key generation
Benefits:
- Remote-first company and a high degree of independence in working conditions and task prioritization.
- Relocation and visa assistance for moving to Germany; willingness to travel to Berlin for onboarding.
📩 Apply