at Alignerr
Get paid $170–$200/hr to formalize advanced math proofs in Lean 4 — work at the frontier of formal verification and shape the future of AI reasoning.