SKILL
formal verification
+40.2% / 30DNamed in 136 active listings across 29 tracked employers.
LISTINGS
136
MEDIAN PAY
$213K
n=42 · 30.9% disclosedPAY PREMIUM
+106.3%
n=51EMPLOYERS
29
REMOTE SHARE
4.4%
Mentions
UNIT · COUNT
AUG 12SEP 10OCT 8
| Date | Mentions |
|---|---|
| 2026-08-12 | 3 |
| 2026-08-13 | 3 |
| 2026-08-14 | 5 |
| 2026-08-15 | 5 |
| 2026-08-16 | 6 |
| 2026-08-17 | 14 |
| 2026-08-18 | 15 |
| 2026-08-19 | 17 |
| 2026-08-20 | 18 |
| 2026-08-21 | 19 |
| 2026-08-22 | 20 |
| 2026-08-23 | 20 |
| 2026-08-24 | 19 |
| 2026-08-25 | 26 |
| 2026-08-26 | 26 |
| 2026-08-27 | 26 |
| 2026-08-28 | 29 |
| 2026-08-29 | 29 |
| 2026-08-30 | 29 |
| 2026-08-31 | 30 |
| 2026-09-01 | 31 |
| 2026-09-02 | 31 |
| 2026-09-03 | 31 |
| 2026-09-04 | 38 |
| 2026-09-05 | 39 |
| 2026-09-06 | 39 |
| 2026-09-07 | 99 |
| 2026-09-08 | 97 |
| 2026-09-09 | 103 |
| 2026-09-10 | 103 |
| 2026-09-11 | 108 |
| 2026-09-12 | 110 |
| 2026-09-13 | 110 |
| 2026-09-14 | 110 |
| 2026-09-15 | 112 |
| 2026-09-16 | 119 |
| 2026-09-17 | 124 |
| 2026-09-18 | 127 |
| 2026-09-19 | 127 |
| 2026-09-20 | 126 |
| 2026-09-21 | 125 |
| 2026-09-22 | 130 |
| 2026-09-23 | 129 |
| 2026-09-24 | 128 |
| 2026-09-25 | 128 |
| 2026-09-26 | 125 |
| 2026-09-27 | 125 |
| 2026-09-28 | 124 |
| 2026-09-29 | 124 |
| 2026-09-30 | 122 |
| 2026-10-01 | 132 |
| 2026-10-02 | 134 |
| 2026-10-03 | 134 |
| 2026-10-04 | 134 |
| 2026-10-05 | 136 |
| 2026-10-06 | 133 |
| 2026-10-07 | 136 |
| 2026-10-08 | 136 |
Pay distribution
POSTED BANDS
$60KMED $213K$460K
Co-occurring skills
LIFT
Top employers
LISTINGS
Spreading into
SHARE OF SKILL
Tech83.1%
Aerospace & Defense3.7%
Financial Services3.7%
Telecom3.7%
Healthcare2.2%
Construction1.5%
Automotive0.7%
Biotech & Pharma0.7%
Manufacturing0.7%