Formal verification job market
0 new Formal verification roles were posted in the last 7 days, down 100% on the 5 the week before. From 12 Web3 companies’ public job boards, updated regularly.
New roles per week
- 05 wk ago
- 24 wk ago
- 03 wk ago
- 02 wk ago
- 51 wk ago
- 0This week
Roles by seniority
| Seniority | Open roles | Share |
|---|---|---|
| Entry and junior | 1 | 3% |
| Mid-level | 17 | 55% |
| Senior | 5 | 16% |
| Staff and principal | 6 | 19% |
| Leadership | 2 | 6% |
Teams hiring most for Formal verification
| Team | Open roles | New in 7 days | Median pay |
|---|---|---|---|
| CertiK | 16 | 0 | – |
| Certora | 3 | 0 | – |
| fun.xyz | 2 | 0 | – |
| Stellar | 2 | 0 | – |
| Aptos Labs | 1 | 0 | – |
| Espresso Systems | 1 | 0 | – |
| ether.fi | 1 | 0 | – |
| Jito Labs | 1 | 0 | $190k |
| LayerZero Labs | 1 | 0 | – |
| Nethermind | 1 | 0 | – |
All open Formal verification roles · Top Formal verification builders · Every skill
Questions
How many Formal verification jobs are open?
There are 31 open Formal verification roles at 12 Web3 companies on Maiev right now, and 81% of them are remote.
Is demand for Formal verification growing?
0 new Formal verification roles were posted in the last 7 days, down 100% on the 5 the week before.
Who is hiring Formal verification developers?
The teams hiring most for Formal verification right now are CertiK, Certora, fun.xyz.
Which Formal verification roles are most common?
Mid-level roles are the most common, with 17 of the 31 open roles.
Counts come from Web3 companies’ public job boards. Weeks run back from the latest refresh by each role’s posted date; a weekly change shows once the week before had 5 or more new roles. Seniority comes from job titles.