Loading...
Get paid up to $150/hr to formalize cutting-edge math proofs in Lean — work at the frontier of AI and formal verification, fully remote....
Apply directly on Alignerr to get started.
Applications beat interviews when you prepare: How to pass AI platform assessments →