Loading...
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...
Apply directly on Alignerr to get started.
Applications beat interviews when you prepare: How to pass AI platform assessments →