The vacancy is strong in task clarity and requirements but lacks compensation details.
Check Match — Just drop your CV
See your fit for Research Cryptographer & Mathematician in seconds.
Overview
Heliax is seeking a Research Cryptographer & Mathematician to design and implement cryptographic protocols and systems. This fully remote role offers independence and the chance to work on innovative projects in a collaborative environment. About Heliax Heliax is a remote-first company which researches, develops, deploys, and maintains open-source protocols and mechanisms designed to serve the everyday needs of humanity. Using this, we build vertically integrated open-source products and networks that form coherent open systems which are capable of acting as an alternative to existing exploitative paradigms. Heliax’s work includes Anoma, a novel intent-centric distributed operating system architecture; Namada, a proof-of-stake L1 for interchain asset-agnostic privacy, designed to bring the best privacy to the multichain and with the vision of building a portal between public and private worlds.
What you'll do
- •Design new cryptographic protocols (e.g. shielded state sync) from first principles to achieve specified information flow topologies, external interfaces, security properties, and performance characteristics.
- •Evaluate and analyze existing cryptographic protocols, often zkSNARK or zkSTARK proof systems (e.g. Halo2, ProtoStar, Risc0 zkVM) for security, expressivity, and performance.
- •Update, alter, reimplement, and combine existing cryptographic protocols, customizing them for specific proofs-of-concept and production use-cases.
- •Produce comprehensive technical specifications for designs & instantiations of cryptographic protocols and collaborate with engineers on implementations of these protocols.
- •Implement, review, and test cryptographic operations & protocols, primarily in Rust, evaluate existing implementations for correctness and performance.
Conditions
- •Fully remote work environment.
- •High degree of independence in working conditions and task prioritization.
- •Support with relocation to Germany (e.g. visa assistance).
- •Opportunity to work closely with a small team on compelling cross-disciplinary problems.