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