Germany's mathematics talent is shaping the future of AI — formalize proofs in Lean 4 on your own schedule, fully remote and highly rewarding.…
About the role
Germany's mathematics talent is shaping the future of AI — formalize proofs in Lean 4 on your own schedule, fully remote and highly rewarding.…
Official source: www.alignerr.com. Details can change; the platform's page is the final word. How we check listings.
