🔒Открыть пост
и посмотреть медиа
и посмотреть медиа
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, including projects like Anoma and Namada focused on privacy and novel distributed systems.
Applicants must be based in Europe (including the UK) and willing to travel to Berlin for initial onboarding; Heliax can assist with relocation and visas.
Responsibilities:
- Design new cryptographic protocols (e.g. shielded state sync) to achieve specified information flow, security, and performance goals.
- Evaluate and analyze existing cryptographic protocols and zk proof systems (e.g. Halo2, ProtoStar, Risc0 zkVM) for security, expressivity, and performance.
- Update, reimplement, and combine crypto protocols for proofs-of-concept 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.
Requirements:
- Strong mathematical and/or cryptographic background (complexity theory, abstract algebra, protocol design).
- Expertise in constructive protocol design and analysis of distributed cryptographic protocols (formal or informal).
- Demonstrated work such as research papers, experimental projects, past work, or detailed system write-ups.
- Ability to implement and evaluate cryptographic code, ideally in Rust.
Nice to have:
- Published papers in mathematics, theoretical CS, or cryptography.
- Experience with distributed systems 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, threshold encryption, distributed key generation (DKG), multi-party protocols
Benefits:
- Relocation assistance to Germany (e.g. visa support)
📩 Apply