Cryptographer (Web3)

TL;DR

Cryptographer (Web3): Designing and analyzing cryptographic protocols for cross-chain interoperability with an accent on zero-knowledge proof systems and recursive composition. Focus on translating theoretical research into production-grade implementations in Rust and C++.

Location: Must be based in Vancouver, BC (Relocation assistance and visa support available)

Company

hirify.global is a research-driven protocol company building infrastructure for cross-chain interoperability to unify the power of individual blockchains.

What you will do

• Design and analyze cryptographic protocols, focusing on SNARKs, STARKs, proof aggregation, and recursive composition.
• Translate theoretical cryptographic constructions into production-grade implementations.
• Evaluate cryptographic assumptions and assess the security of primitives.
• Collaborate with low-level systems engineers to build performance-critical implementations in Rust/C++.

Requirements

• PhD or equivalent research experience in Cryptography, Mathematics, or Computer Science.
• Deep expertise in the design or cryptanalysis of ZK proof systems or lattice-based schemes.
• Strong publication record or demonstrable open-source research contributions.
• Ability to write security proofs, implement primitives, and benchmark code.
• Must be based in or be able to relocate to Vancouver, BC.

Nice to have

• Experience with Rust or C++.
• Background in distributed computing or GPU development.

Culture & Benefits

• Relocation assistance and visa/immigration support for eligible candidates.
• Opportunity to work on a research-driven protocol funded by top-tier investors like a16z, Sequoia, and Coinbase Ventures.
• Inclusive workplace committed to diversity and equal opportunity.