at Alignerr
Get paid $170–$200/hr to formalize advanced math in Lean 4 and push the frontier of AI-powered formal verification. Fully remote and flexible.