🔒Открыть пост
и посмотреть медиа
и посмотреть медиа
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 such as Anoma and Namada, focusing on privacy, information flow control, and scalable distributed systems.
Applicants must be based in Europe (including UK) and willing to travel to Berlin for initial onboarding; relocation assistance is available.
Responsibilities:
- Design new cryptographic protocols (e.g. shielded state sync) to achieve specified information flow, security, and performance goals.
- Evaluate and analyze existing proof systems (e.g. zkSNARKs, zkSTARKs) for security, expressivity, and performance.
- Update, reimplement, and combine existing 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 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.
- Experience implementing, reviewing, and testing cryptographic code, preferably in Rust.
Nice to have:
- Published papers in mathematics, theoretical computer science, 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, threshold encryption, distributed key generation
📩 Apply