at Alignerr
Get paid $170–$200/hr to formalize advanced math proofs in Lean 4 for cutting-edge AI research. Remote, flexible, and built for serious mathematicians.