Remote Lean 4 Formal Verification Researcher
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 mathematicians and formal verification specialists to translate mathematical proofs into machine-verifiable Lean 4 proofs. This remote contract role requires a Master's degree or higher in Mathematics and strong proof writing skills. Responsibilities include analyzing proofs, improving formalization strategies, and collaborating with researchers. Ideal candidates have experience with Lean and a passion for mechanized mathematics. Enjoy flexibility, autonomy, and meaningful work at the forefront of AI and formal mathematics.#J-18808-Ljbffr