Poland's world-class mathematical tradition belongs at the frontier of AI — formalize advanced proofs in Lean 4, fully remote and on your own schedule…
About the role
Poland's world-class mathematical tradition belongs at the frontier of AI — formalize advanced proofs in Lean 4, fully remote and on your own schedule…
Official source: www.alignerr.com. Details can change; the platform's page is the final word. How we check listings.
