Put your advanced mathematics expertise to work at the frontier of AI research — formalize proofs in Lean 4, fully remote and exceptionally well paid.…
About the role
Put your advanced mathematics expertise to work at the frontier of AI research — formalize proofs in Lean 4, fully remote and exceptionally well paid.…
Official source: www.alignerr.com. Details can change; the platform's page is the final word. How we check listings.
