🔒Открыть пост
и посмотреть медиа
и посмотреть медиа
Research Cryptographer & Mathematician
Employment type: Full-Time/Company: Heliax
Heliax is a remote-first organization that researches, develops and maintains open-source protocols and vertically integrated products (notably Anoma and Namada) aimed at privacy-preserving coordination and finance. They combine research in cryptography, systems, and economics to build alternative open systems for real-world use.
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 proof systems and protocols (zkSNARKs, zkSTARKs, Halo2, ProtoStar, Risc0 zkVM) for security, expressivity and performance.
- Update, alter, 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.
Requirements:
- Strong mathematical and/or cryptographic background (e.g. complexity theory, abstract algebra, protocol design).
- Expertise in constructive protocol design and analysis of distributed cryptographic protocols.
- Demonstrated experience producing detailed protocol designs, specifications, implementations, or equivalent research/work.
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 a relevant field (cryptography or mathematics).
Stack:
Rust, zkSNARKs, zkSTARKs, Halo2, ProtoStar, Risc0 zkVM, Arkworks, elliptic curves, hash functions, DKG, threshold decryption, Zexe/VeriZexe
Benefits:
- High degree of independence in working conditions and task prioritization.
- Relocation assistance to Germany (e.g. visa assistance).
📩 Apply