Get paid to push the frontier of formal mathematics — write Lean proofs that challenge what AI can verify. Fully remote, highly specialized.…
About the role
Get paid to push the frontier of formal mathematics — write Lean proofs that challenge what AI can verify. Fully remote, highly specialized.…
Posted 2 times
Alignerr posted this role 2 times, usually once per city or country. We show it once. The pay shown covers all of them.
Official source: www.alignerr.com. Details can change; the platform's page is the final word. How we check listings.
