🔒Открыть пост
и посмотреть медиа
и посмотреть медиа
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 PoS L1 focused on interchain 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 proof systems and cryptographic protocols (e.g. zkSNARKs, zkSTARKs) for security, expressivity, and performance.
- Update, 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 relevant subfields (complexity theory, abstract algebra, protocol design).
- Expertise in constructive protocol design and analysis of distributed cryptographic protocols.
- Demonstrable experience designing protocols (research paper, experimental project, past work, or detailed write-ups).
Nice to have:
- Published papers in mathematics, theoretical CS, or cryptography.
- Experience with distributed systems and/or operating systems architecture.
- Experience with Zerocash/Zexe/VeriZexe and related architectures.
- Academic qualifications in cryptography or mathematics.
Stack:
Rust, zkSNARKs, zkSTARKs, Halo2, ProtoStar, Risc0 zkVM, Arkworks, elliptic curves, hash functions, threshold encryption
Benefits:
- Relocation assistance to Germany (including visa support).
- Remote-first company with a high degree of independence in working conditions and task prioritization.
📩 Apply