Loading...
Put your advanced mathematics expertise to work at the frontier of AI research — formalize proofs in Lean 4, fully remote and exceptionally well paid....
Apply directly on Alignerr to get started.
Applications beat interviews when you prepare: How to pass AI platform assessments →