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