Skip to main content

formal verification Jobs

Browse the latest formal verification positions in Web3 and blockchain.

View all with full filters →
CertiK3mo

Business Development Manager - Singapore

CertiK

smart contract auditingformal verificationpenetration testing

Singapore, SG

Competitive

ML
1mo

Senior Security Engineer, DeFi

Mysten Labs

suirustmove

Remote

$165000 - $225000

Ether.fi1mo

Blockchain Engineer

Ether.fi

solidityformal verificationerc-4626

New York

Competitive

Trust Wallet7mo

Smart Contract Engineer

Trust Wallet

solidityrustsmart contract auditing

Remote

Competitive

VL
1y

Smart Contract Engineer

Veda Tech Labs

solidityrustmove

Remote

Competitive

CertiK10mo

Community Manager, Korea

CertiK

web3.jsformal verification

South Korea

Competitive

CertiK4y

Software Engineer (Engineer III to Principal) - Formal Methods

CertiK

solidityhaskellsmart contract auditing

New York, NY, US

$115,000 - $230,000

CertiK10mo

Senior Software Engineer

CertiK

soliditytypescriptjavascript

New York, NY, US

$132,000 - $180,000

CertiK1y

Solidity Compiler Frontend Engineer

CertiK

ethereumsolidityformal verification

United States

$140,000 - $220,000

CertiK11mo

Blockchain Security Expert - Security Audit Track

CertiK

solidityrustgo (golang)

United States

$120,000 - $180,000

CertiK11mo

Blockchain Security Expert - Chain Security Evaluation Track

CertiK

pythonsmart contract auditingformal verification

United States

$120,000 - $180,000

Ethena Labs1y

Head of Security

Ethena Labs

soliditysmart contract auditingformal verification

Remote

Competitive

NL
1y

Senior Distributed Systems Engineer

NEBRA Labs

rustgo (golang)c++

New York, NY, US

Competitive

AP
9mo

Information Security Engineer, Product

Aptoslabs

rustmovesmart contract auditing

Remote

Competitive

HY
9mo

Founding CTO (Web3)

Hyphenconnect

solidityrustgo (golang)

Remote

Competitive

HY
9mo

Founding CTO (Web3)

Hyphenconnect

solidityrustgo (golang)

United States

Competitive

HY
8mo

Senior QA Engineer (Smart Contract Testing/DEX)

Hyphenconnect

solidityrustmove

Singapore, SG

Competitive

Stellar Development Foundation8mo

Senior Software Engineer, Core

Stellar Development Foundation

rustc++formal verification

New York, NY, US

$180,000 - $290,000

Stellar Development Foundation8mo

Senior Software Engineer, Core

Stellar Development Foundation

rustc++formal verification

San Francisco, CA, US

$180,000 - $290,000

Stellar Development Foundation8mo

Senior Software Engineer, C++

Stellar Development Foundation

rustc++formal verification

San Francisco, CA, US

$180,000 - $290,000

Page 1Next