Find Your Next Web3 Role

Connect with leading crypto and blockchain organizations. Discover opportunities in DeFi, NFTs, DAOs, and the decentralized future.

Urgently Hiring

Crypto Beginner Jobs

Or explore by

BizDev Smart Contracts Marketing TypeScript Solidity React London New York Singapore Remote Onsite Hybrid Full Time Part Time Internship

Formal Methods Researcher for ZK

Veridise·4 months ago

4 months agoSenior Research Jobs by Veridise

View organization details

Seed12 current maintainers11 active leads5 new active leads4 lead step-downs3 early lead departures

Veridise is a blockchain security company specializing in smart contract and zero-knowledge audits. It combines formal methods, manual code review, and in-house vulnerability-detection tools for blockchain protocols and Web3 projects.

Funding

Seed$4.7M · 1 Jul, 2022

Investors

dao5 (daofive)Polychain Capital Hack VC

View all 19 skills

Automated Verification C#Cryptography Formal Methods Formal Verification Lean Llzk Model Checking Noir Picus Research Rust Smt Solver Theorem Prover Verification Zero-Knowledge Zk Circuit Zk Framework Zk Vanguard

View Details

View Job Details

Application Interest Form