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 and builds vertically integrated open-source products and networks. Their work includes Anoma (an intent-centric distributed OS architecture) and Namada (a PoS L1 focused on privacy and 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, security, and performance goals. - Evaluate and analyze zkSNARK/zkSTARK proof systems and other cryptographic protocols for security and performance. - Update, reimplement, and combine existing cryptographic protocols for proofs-of-concept and production. - 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 (e.g. complexity theory, abstract algebra, protocol design). - Expertise in constructive protocol design and analysis of distributed cryptographic protocols. - Demonstrable work: research papers, experimental projects, past work, or detailed designs/blog posts. Nice to have: - Published papers in mathematics, theoretical CS, or cryptography. - Experience with distributed systems or OS architecture/design. - Experience with Zerocash/Zexe/VeriZexe and related architectures. - Academic qualifications in a relevant field. Stack: Rust, zkSNARKs, zkSTARKs, Halo2, ProtoStar, Risc0 zkVM, Arkworks, Zerocash/Zexe/VeriZexe, elliptic-curve cryptography, threshold encryption Benefits: - Relocation assistance to Germany (including visa help). 📩 Apply