Remote Lean 4 Formalization Expert for AI Training
ARCHIVED
We can't find an active application page for this role right now. It may reopen or be listed elsewhere. Use Next Steps to search for an active apply link and similar live jobs.
Alignerr is seeking a Lean 4 Mathematical Formalization Expert to contribute to AI development by translating mathematical content into formal proofs. This fully remote role allows flexibility in working hours and is ideal for mathematicians interested in formal verification. Responsibilities include formalizing texts and ensuring the logical soundness of representations. Candidates should possess strong Lean 4 experience, a solid mathematics background, and a keen eye for detail.#J-18808-Ljbffr