Formal Methods Researcher for ZK
Veridise
19 Mar, 2026
View this crypto job on JobStash
Back to Organizations
Veridise
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.
Distributed
Current stage: Seed12 current maintainers11 active leads5 new active leads4 lead step-downs3 early lead departures
Maintainer signals as of Aug 10, 2026
Veridise Crypto Jobs
Explore open blockchain and Web3 roles at Veridise, sourced from JobStash's crypto job board.