at Alignerr
Get paid up to $200/hr to formalize advanced mathematics in Lean 4 — help push the frontier of what AI and proof assistants can verify. Fully remote.