Loading...
Get paid up to $200/hr to push the boundaries of formal mathematics — formalize advanced proofs in Lean 4 for cutting-edge AI research. Fully remote....
Apply directly on Alignerr to get started.
Applications beat interviews when you prepare: How to pass AI platform assessments →