🔒Открыть пост
и посмотреть медиа
и посмотреть медиа
Research Cryptographer & Mathematician
Full-time/Company: Heliax
Heliax is a remote-first company which researches, develops, deploys, and maintains open-source protocols and mechanisms to serve everyday needs. They build vertically integrated open-source products and networks such as Anoma (an intent-centric distributed OS) and Namada (a privacy-focused proof-of-stake L1).
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 achieve specified information flow, security, and performance goals.
- Evaluate and analyze zkSNARK/zkSTARK proof systems (e.g. Halo2, ProtoStar, Risc0 zkVM) for security, expressivity, and performance.
- Update, alter, reimplement, and combine cryptographic 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 & protocols, primarily in Rust; evaluate implementations for correctness and performance.
Requirements:
- Strong mathematical and/or cryptographic background (complexity theory, abstract algebra, cryptographic protocol design).
- Expertise in constructive protocol design and analysis of distributed cryptographic protocols.
- Experience implementing and evaluating cryptographic implementations for correctness and performance.
- Familiarity with Rust for implementing cryptographic protocols.
- Ability to produce detailed technical specifications and work closely with engineering teams.
Nice to have:
- Published papers in mathematics, theoretical CS, and/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 zkVM, Arkworks, elliptic curves, hash functions
Benefits:
- Relocation assistance to Germany (e.g. visa assistance).
- High degree of independence in working conditions.
📩 Apply