Formal verification jobs

There are 30 open Formal verification roles at 12 Web3 companies on Maiev right now. 80% are remote. Hiring the most: CertiK (16), Certora (2), fun.xyz (2), Stellar (2).

Updated regularly from each company’s public job board · last refreshed

30 roles

Questions

How many Formal verification jobs are open?

There are 30 open Formal verification roles at 12 Web3 companies on Maiev right now. 80% are remote. Hiring the most: CertiK (16), Certora (2), fun.xyz (2), Stellar (2).

Are Formal verification jobs remote?

24 of 30 (80%) are listed as remote. The rest are hybrid or on-site; each listing shows its location.

How do I get hired for Formal verification jobs without applying?

Make a free Maiev profile. Maiev ranks builders by the work they’ve shipped (public code, validated work history and hearts from peers), and verified teams search those rankings to send roles directly to the people they want.

By area

By skill

By location

By company