formal verification Jobs
Browse the latest formal verification positions in Web3 and blockchain.
View all with full filters →
3moSmart Contract Engineer
Trust Wallet
Remote
Competitive
Smart Contract Engineer
Veda Tech Labs
Remote
Competitive
5moCommunity Manager, Korea
CertiK
South Korea
Competitive
3ySoftware Engineer (Engineer III to Principal) - Formal Methods
CertiK
New York, NY, US
$115,000 - $230,000
5moSenior Software Engineer
CertiK
New York, NY, US
$132,000 - $180,000
7moSolidity Compiler Frontend Engineer
CertiK
United States
$140,000 - $220,000
7moBlockchain Security Expert - Security Audit Track
CertiK
United States
$120,000 - $180,000
7moBlockchain Security Expert - Chain Security Evaluation Track
CertiK
United States
$120,000 - $180,000
8moHead of Security
Ethena Labs
Remote
Competitive
Senior Distributed Systems Engineer
NEBRA Labs
New York, NY, US
Competitive
Information Security Engineer, Product
Aptoslabs
Remote
Competitive
Founding CTO (Web3)
Hyphenconnect
Remote
Competitive
Founding CTO (Web3)
Hyphenconnect
United States
Competitive
Senior QA Engineer (Smart Contract Testing/DEX)
Hyphenconnect
Singapore, SG
Competitive
3moSenior Software Engineer, Core
Stellar Development Foundation
New York, NY, US
$180,000 - $290,000
3moSenior Software Engineer, Core
Stellar Development Foundation
San Francisco, CA, US
$180,000 - $290,000
3moSenior Software Engineer, C++
Stellar Development Foundation
San Francisco, CA, US
$180,000 - $290,000
Smart Contract Engineer
Polymarket
New York, NY, US
Competitive