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 to serve everyday needs. Their work includes Anoma (an intent-centric distributed operating system architecture) and Namada (a proof-of-stake L1 focused on interchain privacy). 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 zkSNARK/zkSTARK proof systems (e.g. Halo2, ProtoStar, Risc0 zkVM) for security, expressivity, and performance. - Update, reimplement, and combine existing cryptographic protocols for proofs-of-concept and production use-cases. - Produce comprehensive technical specifications for cryptographic designs and collaborate with engineers on implementations. - Implement, review, and test cryptographic operations and protocols, primarily in Rust, and evaluate existing implementations for correctness and performance. Requirements: - Mathematical and/or cryptographic background in relevant subfields (e.g. complexity theory, abstract algebra, cryptographic protocol design). - Expertise (formal or informal) in constructive protocol design and analysis of distributed cryptographic protocols. Nice to have: - Published papers in mathematics, theoretical CS, 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, DKG, threshold encryption Benefits: - Remote-first role with a high degree of independence in working conditions and task prioritization. - Opportunity to work on open-source research and production projects (Anoma, Namada) with a small cross-disciplinary team. - Relocation assistance to Germany (e.g. visa assistance). 📩 Apply