Trabajos remotos de criptografía - Remoto

Research Cryptographer & Mathematician Employment type: Full-time/Company: Heliax Heliax is a remote-first company that researches, develops, deploys, and maintains open-source protocols and mechanisms, building vertically integrated open-source products and networks such as Anoma and Namada. Applicants must be based in Europe (including the UK) and be 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 existing cryptographic protocols (zkSNARKs, zkSTARKs, etc.) for security, expressivity, and performance. - Update, reimplement, and combine 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 & protocols, primarily in Rust. - Contribute to research and example projects such as Anoma resource machine in RISC0 and threshold decryption protocols. 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 protocol design experience (research paper, experimental project, past work, or detailed technical write-ups). Nice to have: - Published papers in mathematics, theoretical CS, 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, Risc0 zkVM, Arkworks, DKG, threshold encryption, elliptic curves Benefits: - Relocation assistance to Germany (including visa help). 📩 Apply