at Alignerr
Get paid up to $200/hr to formalize advanced math proofs in Lean 4 — work at the frontier of AI and mechanized mathematics. Fully remote, flexible.