at Alignerr
Get paid up to $200/hr to formalize advanced math proofs in Lean 4 — fully remote, flexible hours. Ideal for mathematicians who love rigor and formal verification.