typetheoryforall / FVjobs
git clone https://github.com/typetheoryforall/FVjobs.git
A job board listing formal verification roles, tagged by proof stack (Lean, Rocq, Isabelle, SMT) and work eligibility.
Why you might care
Collects formal verification jobs from company pages and academic lists in one place, flagging the proof tools each role uses and whether it is open to non-US persons or sponsors visas. Each entry shows when the posting was last checked as live.
+57
stars, 24h · #748
+57
stars, 7 days · #4,328
+57
stars, 30 days · #12,739
57
★ total · +57% this week
1
forks · 0 open issues
Star history starts 2026-10-27; the chart appears after the second daily snapshot.
LanguagePython
LicenseMIT
Created2026-10-26 (today)
Last pushtoday
Watchers2
OwnerOrganization
Links
README
Loading README…
Blurb generated by claude-haiku-5-5 today. Star deltas marked ~ are extrapolated from partial history.