Trabajos remotos de criptografía - Remoto

Research Cryptographer & Mathematician Full-time/Company: Heliax Heliax is a remote-first company researching, developing, and maintaining open-source protocols and products such as Anoma and Namada. Learn more: heliax.dev Candidates 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 cryptographic protocols, often zkSNARK or zkSTARK proof systems (e.g. Halo2, ProtoStar, Risc0 zkVM). - Update, alter, reimplement, and combine 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 (complexity theory, abstract algebra, protocol design). - Expertise in constructive protocol design and analysis of distributed cryptographic protocols. - Demonstrated protocol work (research paper, experimental project, past work, or detailed write-up). - Experience implementing or reviewing cryptographic code, preferably in Rust. 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, ProtoStar, Risc0 zkVM, Arkworks, elliptic curves, distributed key generation, threshold encryption Benefits: - Relocation assistance to Germany (visa assistance) for candidates as needed. - Remote-first company culture with a high degree of independence and cross-disciplinary collaboration. 📩 Apply