Trabajos remotos de criptografía - Remoto

Research Cryptographer & Mathematician 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 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 (zkSNARKs, zkSTARKs) and related constructions for security and performance. - Update, reimplement, and combine 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: - Strong mathematical and/or cryptographic background (complexity theory, abstract algebra, protocol design). - Demonstrated expertise in constructive protocol design and analysis of distributed cryptographic protocols. - Experience implementing or evaluating cryptographic systems (experience with Rust is expected/preferred). Nice to have: - Published papers in mathematics, theoretical CS, or cryptography. - Experience with distributed systems or OS architecture. - Familiarity with Zerocash/Zexe/VeriZexe families and related architectures. - Academic qualifications in cryptography or mathematics. - Enjoyment of travel and outdoor problem-solving (e.g., hiking). Stack: Rust, zkSNARKs, zkSTARKs, Halo2, ProtoStar, Risc0 zkVM, Arkworks, elliptic curves, hash functions Benefits: - Remote-first company culture with a high degree of independence and flexible task prioritization. - Relocation support to Germany (including visa assistance) for candidates based in Europe. - Opportunity to work on open-source protocols, research, and cross-disciplinary problems in cryptography and systems design. 📩 Apply