at Alignerr
Get paid $170–$200/hr to formalize advanced math proofs in Lean 4 and push the frontier of AI verification. Remote, flexible, and deeply rewarding.