Trabajos remotos de criptografía - Remoto

Research Cryptographer & Mathematician Full-Time/Company: Heliax Heliax researches, develops, deploys, and maintains open-source protocols and mechanisms to serve everyday needs, building vertically integrated open-source products and coherent open systems. Their work includes Anoma (an intent-centric distributed operating system architecture) and Namada (a proof-of-stake L1 focused on interchain asset-agnostic privacy). Applicants must be based in Europe (including the UK) and willing to travel to Berlin for initial onboarding. Responsibilities: - Design new cryptographic protocols to achieve specified information flow topologies, security properties, and performance characteristics. - Evaluate and analyze existing cryptographic protocols (e.g. zkSNARKs/zkSTARKs, Halo2, Risc0 zkVM) for security, expressivity, 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: - Mathematical and/or cryptographic background in relevant subfields (complexity theory, abstract algebra, protocol design). - Expertise in constructive protocol design and analysis of distributed cryptographic protocols. - Demonstrable protocol design experience (research paper, experimental project, past work, or detailed write-up/blog series). 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 a relevant field (cryptography or mathematics). Stack: Rust, zkSNARKs, zkSTARKs, Halo2, ProtoStar, Risc0 zkVM, Arkworks, elliptic curves, threshold encryption, distributed key generation Benefits: - Relocation assistance to Germany (e.g. visa help) - High degree of independence in working conditions and task prioritization - Work closely with a small cross-disciplinary research and engineering team 📩 Apply