formal verification Jobs
Browse the latest formal verification positions in Web3 and blockchain.
View all with full filters →
Smart Contract Engineer
Trust Wallet
solidityrustsmart contract auditing
RemoteCompetitive
VL
Smart Contract Security Engineer
Veda Tech Labs
solidityfoundrysmart contract auditing
RemoteCompetitive
VL
Smart Contract Engineer
Veda Tech Labs
solidityrustmove
RemoteCompetitive
Community Manager, Korea
CertiK
web3.jsformal verification
South KoreaCompetitive
Software Engineer (Engineer III to Principal) - Formal Methods
CertiK
solidityhaskellsmart contract auditing
New York, NY, US$115,000 - $230,000
Senior Software Engineer
CertiK
soliditytypescriptjavascript
New York, NY, US$132,000 - $180,000
Solidity Compiler Frontend Engineer
CertiK
ethereumsolidityformal verification
United States$140,000 - $220,000
Blockchain Security Expert - Security Audit Track
CertiK
solidityrustgo (golang)
United States$120,000 - $180,000
Blockchain Security Expert - Chain Security Evaluation Track
CertiK
pythonsmart contract auditingformal verification
United States$120,000 - $180,000
Head of Security
Ethena Labs
soliditysmart contract auditingformal verification
RemoteCompetitive
NL
Senior Distributed Systems Engineer
NEBRA Labs
rustgo (golang)c++
New York, NY, USCompetitive
AP
Information Security Engineer, Product
Aptoslabs
rustmovesmart contract auditing
RemoteCompetitive
HY
Founding CTO (Web3)
Hyphenconnect
solidityrustgo (golang)
RemoteCompetitive
HY
Founding CTO (Web3)
Hyphenconnect
solidityrustgo (golang)
United StatesCompetitive
HY
Senior QA Engineer (Smart Contract Testing/DEX)
Hyphenconnect
solidityrustmove
Singapore, SGCompetitive
Senior Software Engineer, Core
Stellar Development Foundation
rustc++formal verification
New York, NY, US$180,000 - $290,000
Senior Software Engineer, Core
Stellar Development Foundation
rustc++formal verification
San Francisco, CA, US$180,000 - $290,000
Senior Software Engineer, C++
Stellar Development Foundation
rustc++formal verification
San Francisco, CA, US$180,000 - $290,000
PO
Smart Contract Engineer
Polymarket
ethereumsoliditysmart contract auditing
New York, NY, USCompetitive