at Alignerr
Get paid $170–$200/hr to formalize advanced math proofs in Lean 4 and directly shape the frontier of AI reasoning. Remote, flexible, elite-level work.