typetheoryforall /
FVjobs
A Job Board for Formal Verification
Updated 13 min ago
Maintain this repo? Add this badge to your README.
Why now
+66 stars gained this week
Stars gained each day, last 30 days
Oct 4Oct 19Today
This week Before
In short
The board tags each role with its proof stack (Lean, Rocq, Isabelle, SMT and others) and whether it is open to non-US persons or sponsors visas. Entries are added by issue or pull request.
Summary written by AI from the repository’s description and README.
typetheoryforall / FVjobs
View on GitHub(opens in new tab)