formal verification Jobs
Browse the latest formal verification positions in Web3 and blockchain.
View all with full filters →
6moSmart Contract Engineer
Trust Wallet
Remote
Competitive
Smart Contract Engineer
Veda Tech Labs
Remote
Competitive
8moCommunity Manager, Korea
CertiK
South Korea
Competitive
4ySoftware Engineer (Engineer III to Principal) - Formal Methods
CertiK
New York, NY, US
$115,000 - $230,000
8moSenior Software Engineer
CertiK
New York, NY, US
$132,000 - $180,000
11moSolidity Compiler Frontend Engineer
CertiK
United States
$140,000 - $220,000
10moBlockchain Security Expert - Security Audit Track
CertiK
United States
$120,000 - $180,000
10moBlockchain Security Expert - Chain Security Evaluation Track
CertiK
United States
$120,000 - $180,000
11moHead 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
7moSenior Software Engineer, Core
Stellar Development Foundation
New York, NY, US
$180,000 - $290,000
7moSenior Software Engineer, Core
Stellar Development Foundation
San Francisco, CA, US
$180,000 - $290,000
7moSenior Software Engineer, C++
Stellar Development Foundation
San Francisco, CA, US
$180,000 - $290,000
Smart Contract Engineer
Polymarket
New York, NY, US
Competitive