Remote Lean 4 Proof Engineer for AI Research
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 Formal Verification Scientist to translate advanced mathematical arguments into machine-verifiable Lean 4 proofs. This is a fully remote, flexible contract role ideal for mathematicians passionate about formal verification. Responsibilities include analyzing proofs, pushing boundaries of proof assistants, and collaborating with researchers. Candidates should have a Master's degree or higher in Mathematics or a related field, and experience with Lean is strongly preferred. This role offers autonomy and the chance to contribute meaningfully to cutting-edge AI research.#J-18808-Ljbffr