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