at Alignerr
Get paid up to $200/hr to formalize advanced math in Lean 4 — push the frontier of formal verification for cutting-edge AI research. Fully remote.