🔒Открыть пост
и посмотреть медиа
и посмотреть медиа
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. Their work includes Anoma (an intent-centric distributed OS architecture) and Namada (a proof-of-stake L1 focused on interchain, asset-agnostic privacy).
Applicants must be based in Europe (including the UK) and willing to travel to Berlin for initial onboarding.
Responsibilities:
- Design new cryptographic protocols to achieve specified information flow, security, and performance properties.
- Evaluate and analyze existing cryptographic protocols and zk proof systems (e.g. Halo2, ProtoStar, Risc0 zkVM) for security, expressivity, and performance.
- Update, alter, reimplement, and combine existing 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:
- Mathematical and/or cryptographic background in areas such as complexity theory, abstract algebra, and protocol design.
- Expertise (formal or informal) in constructive protocol design and analysis of distributed cryptographic protocols.
- Experience implementing or evaluating cryptographic operations and protocols, with familiarity working in Rust.
Nice to have:
- Published papers in mathematics, theoretical CS, or cryptography.
- Experience with distributed systems and/or operating systems architecture/design.
- Familiarity with Zerocash/Zexe/VeriZexe and related architectures.
- Academic qualifications in cryptography or mathematics.
Stack:
Rust, zkSNARKs, zkSTARKs, Halo2, ProtoStar, Risc0 zkVM, Arkworks, Zerocash/Zexe/VeriZexe
Benefits:
- Remote-first company culture and a high degree of independence in work and task prioritization.
- Relocation assistance to Germany (including visa support) and support for initial onboarding in Berlin.
- Opportunity to work closely with a small, cross-disciplinary research and engineering team.
📩 Apply