Remote Crypto Jobs - Remote

Research Cryptographer & Mathematician Full-time/Company: Heliax Heliax is a remote-first company that researches, develops, deploys, and maintains open-source protocols and mechanisms designed to serve everyday needs. Their work includes Anoma (an intent-centric distributed operating system architecture) and Namada (a PoS L1 focused on interchain asset-agnostic privacy). 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 achieve specified information flow, security, and performance goals. - Evaluate and analyze existing proof systems and cryptographic protocols (e.g. zkSNARKs, zkSTARKs, Halo2, ProtoStar, Risc0) 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 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 (e.g. complexity theory, abstract algebra, protocol design). - Expertise in constructive protocol design and analysis of distributed cryptographic protocols. - Demonstrable protocol design work (research paper, experimental project, past work, or detailed writeups/blog posts). 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, threshold encryption, distributed key generation (DKG) Benefits: - Relocation and visa assistance for Germany (Berlin) for onboarding. - Remote-first company with a high degree of independence in working conditions and task prioritization. 📩 Apply

Research Cryptographer & Mathematician 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. They build vertically integrated open-source products and networks such as Anoma and Namada, focusing on privacy, information flow control, and scalable distributed systems. Applicants must be based in Europe (including UK) and willing to travel to Berlin for initial onboarding; relocation assistance is available. Responsibilities: - Design new cryptographic protocols (e.g. shielded state sync) to achieve specified information flow, security, and performance goals. - Evaluate and analyze existing proof systems (e.g. zkSNARKs, zkSTARKs) for security, expressivity, and performance. - Update, reimplement, and combine existing 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. - Experience implementing, reviewing, and testing cryptographic code, preferably in Rust. Nice to have: - Published papers in mathematics, theoretical computer science, 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, threshold encryption, distributed key generation 📩 Apply

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

Lead Engineer - Tokenization Contract / Full-time / Company: Gyld Finance Gyld Finance is building the infrastructure to bring fixed income on-chain, issuing tokenized USD corporate bonds backed 1:1 by the underlying securities held with regulated custodians and brokers. The core platform — broker and custody integrations, order execution, settlement, reconciliation and on-chain compliance — is already built and the team is approaching launch. Responsibilities: - Own and improve systems that place broker orders, process fills, settle trades and reconcile positions and cash. - Build for critical failure cases: partial fills, rejected orders, stale states, settlement breaks and reconciliation mismatches. - Work across broker, custodian, banking and crypto rails where they intersect with trading and settlement. - Ensure consistency between internal ledger, custodian positions and on-chain supply. - Own production services in a Rust-based architecture and improve reliability, observability and incident response. - Strengthen CI/CD, deployment safety, testing and database migration practices. Requirements: - Strong hands-on experience building trading, order management or execution systems. - Experience owning production systems where correctness and reliability matter. - Strong backend and systems engineering fundamentals. - Rust experience preferred; strong experience in another systems language with ability to ramp into Rust is acceptable. - Familiarity with databases, distributed systems, APIs and asynchronous/event-driven architectures. - Working knowledge of blockchain and on-chain settlement concepts. - Comfortable using AI coding agents as part of the everyday engineering workflow and able to operate autonomously. Nice to have: - Experience building execution or post-trade infrastructure at a broker, exchange, trading firm or fintech. - Operated systems that move meaningful amounts of money. - Direct experience with broker, custodian or exchange APIs. - Experience handling edge cases around orders, settlement and reconciliation. - Experience connecting traditional financial infrastructure with blockchain systems. Stack: Rust, FIX, OMS, Order Execution, Tokenization, RWA, Trading Systems Benefits: - Significant ownership of a financial platform immediately ahead of launch. - Senior individual contributor role with substantial technical autonomy and minimal management overhead. - Opportunity to work across trading infrastructure, tokenization and on-chain settlement. - Small team where engineering decisions translate directly into the product. - Competitive compensation and equity (listed $125K–$200K, 0%–2%). - Option to be paid in digital currency. 📩 Apply

Lead Engineer - Tokenization Contract / Full-time / Company: Gyld Finance Gyld Finance is building the infrastructure to bring fixed income on-chain, issuing tokenized USD corporate bonds backed 1:1 by underlying securities held with regulated custodians and brokers. The core platform (broker & custody integrations, order execution, settlement, reconciliation and on-chain compliance) is already built and approaching launch. Responsibilities: - Own and improve systems that place broker orders, process fills, settle trades and reconcile positions and cash. - Build for failure cases in financial systems: partial fills, rejected orders, stale states, settlement breaks and retries. - Operate and harden production services in a Rust-based architecture: reliability, observability, monitoring and alerting. - Strengthen CI/CD, testing, deployment safety and database migration practices. - Connect off-chain securities and cash movements with on-chain issuance, redemption and transfer controls. - Diagnose and resolve production incidents involving live orders or settlement. Requirements: - Strong hands-on experience building trading, order management or execution systems. - Proven experience owning production systems where correctness and reliability matter. - Strong backend and systems engineering fundamentals; Rust experience preferred (or strong systems language background). - Comfort with databases, distributed systems, APIs and asynchronous/event-driven architectures. - Working knowledge of blockchain and on-chain settlement concepts (deep smart-contract expertise not required). - Comfortable using AI coding agents as part of daily engineering workflow; able to join in the near term and operate autonomously. Nice to have: - Experience building execution or post-trade infrastructure at a broker, exchange, trading firm or fintech. - Operated systems that move meaningful amounts of money or worked directly with broker/custodian/exchange APIs. - Experience handling edge cases around orders, settlement and reconciliation and connecting TradFi infrastructure with blockchain systems. Stack: Rust, FIX, OMS, broker & custodian APIs, on-chain settlement, event-driven architectures Benefits: - Significant ownership of a financial platform immediately ahead of launch. - Senior individual-contributor role with substantial technical autonomy and minimal management overhead. - Opportunity to work across trading infrastructure, tokenization and on-chain settlement within a small team. - Competitive compensation and equity ($125K–$200K, 0%–2%; option to be paid in digital currency). 📩 Apply

Research Cryptographer & Mathematician Full-time/Company: Heliax Heliax is a remote-first company that researches, develops, deploys, and maintains open-source protocols and mechanisms designed to serve everyday needs. Their work includes Anoma (an intent-centric distributed operating system architecture) and Namada (a proof-of-stake L1 for 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 (e.g. shielded state sync) to meet specified information flow, security, and performance goals. - Evaluate and analyze existing cryptographic proof systems (zkSNARKs/zkSTARKs, e.g. Halo2, ProtoStar, 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: - Strong mathematical and/or cryptographic background (complexity theory, abstract algebra, cryptographic protocol design). - Expertise in constructive protocol design and analysis of distributed cryptographic protocols. - Experience implementing or evaluating cryptographic systems (practical experience with Rust is desirable). Nice to have: - Published papers in mathematics, theoretical computer science, 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, threshold encryption, distributed key generation Benefits: - Remote-first company culture and high degree of independence. - Relocation assistance to Germany (visa assistance) for those willing to relocate to Berlin. - Opportunity to work closely with a small team on cross-disciplinary research and open-source protocols. 📩 Apply

Research Cryptographer & Mathematician 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. They build vertically integrated open-source products and networks such as Anoma and Namada, focusing on privacy, information flow control, and scalable distributed systems. 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 achieve specified information flow, security, and performance properties. - Evaluate and analyze existing cryptographic protocols and proof systems (e.g. zkSNARKs/zkSTARKs, Halo2, ProtoStar, Risc0 zkVM) for security, expressivity, and performance. - Update, alter, reimplement, and combine existing 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, cryptographic protocol design). - Expertise in constructive protocol design and analysis of distributed cryptographic protocols. - Demonstrable protocol design work (research paper, experimental project, past work, or detailed blog posts). - Experience implementing or evaluating cryptographic implementations (Rust experience preferred). Nice to have: - Published papers in mathematics, theoretical computer science, and/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, hash functions, threshold encryption, distributed key generation Benefits: - Relocation assistance to Germany (visa support). - High degree of independence in working conditions and task prioritization. - Opportunity to work closely with a small cross-disciplinary team on theoretical and applied problems. 📩 Apply

Research Cryptographer & Mathematician 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 OS 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, security, and performance properties. - Evaluate and analyze existing cryptographic protocols and zk proof systems (e.g. Halo2, ProtoStar, Risc0 zkVM) for security, expressivity, and performance. - Update, alter, reimplement, and combine existing 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 areas such as complexity theory, abstract algebra, and protocol design. - Expertise (formal or informal) in constructive protocol design and analysis of distributed cryptographic protocols. - Experience implementing or evaluating cryptographic operations and protocols, with familiarity working in Rust. Nice to have: - Published papers in mathematics, theoretical CS, or cryptography. - Experience with distributed systems and/or operating systems architecture/design. - Familiarity with Zerocash/Zexe/VeriZexe and related architectures. - Academic qualifications in cryptography or mathematics. Stack: Rust, zkSNARKs, zkSTARKs, Halo2, ProtoStar, Risc0 zkVM, Arkworks, Zerocash/Zexe/VeriZexe Benefits: - Remote-first company culture and a high degree of independence in work and task prioritization. - Relocation assistance to Germany (including visa support) and support for initial onboarding in Berlin. - Opportunity to work closely with a small, cross-disciplinary research and engineering team. 📩 Apply

Research Cryptographer & Mathematician Employment type: Full-Time/Company: Heliax Heliax is a remote-first organization that researches, develops and maintains open-source protocols and vertically integrated products (notably Anoma and Namada) aimed at privacy-preserving coordination and finance. They combine research in cryptography, systems, and economics to build alternative open systems for real-world use. 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 and protocols (zkSNARKs, zkSTARKs, Halo2, ProtoStar, Risc0 zkVM) for security, expressivity and performance. - Update, alter, reimplement, and combine existing cryptographic 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 (e.g. complexity theory, abstract algebra, protocol design). - Expertise in constructive protocol design and analysis of distributed cryptographic protocols. - Demonstrated experience producing detailed protocol designs, specifications, implementations, or equivalent research/work. Nice to have: - Published papers in mathematics, theoretical computer science, 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, hash functions, DKG, threshold decryption, Zexe/VeriZexe Benefits: - High degree of independence in working conditions and task prioritization. - Relocation assistance to Germany (e.g. visa assistance). 📩 Apply