Security Researcher

TL;DR

Security Researcher (Cybersecurity): Conduct comprehensive security audits, formal verification, and cryptographic protocol reviews for smart contracts and zk-related technologies with an accent on security, optimization, and resilience. Focus on designing and verifying cryptographic protocols, zkVM code, and protocol-level security to ensure robust and reliable blockchain products.

Company

hirify.global provides advanced security solutions including smart contract audits, formal verification, and cryptographic protocol assessments, collaborating with industry leaders and leveraging AI-driven tools.

What you will do

• Perform full security reviews of smart contracts in Solidity, Cairo, Rust, and Noir.
• Conduct formal verification of zk-circuits, cryptography, and protocol modeling using interactive theorem proving.
• Review cryptographic design, circuits, and zkVM code across multiple ecosystems ensuring security and privacy.
• Assess protocol architecture to identify weaknesses and optimize performance and costs.
• Provide ongoing security support throughout development to address vulnerabilities early.

Requirements

• Strong expertise in smart contract security and formal verification techniques.
• Experience with Solidity, Cairo, Rust, Noir, and zk DSLs such as Circom.
• Knowledge of cryptographic protocols and zkVM frameworks like Risc-0 and SP1.
• Ability to conduct protocol-level security assessments and architecture reviews.
• Collaboration skills to work with industry partners and deliver trusted audits.