Alignerr
Formal Verification Scientist (Lean 4 & Mathlib)
- Pay
- $170–200/hr
- Type
- Part-time
- Location
- Remote
Free to apply. Never pay anyone to get AI training work.
About this role
Get paid $170–$200/hr to formalize advanced math proofs in Lean 4 for cutting-edge AI research. Remote, flexible, and built for serious mathematicians…
