{"schemaVersion":"jobsearcher.job.v1","id":"10c9e853d0f4ae1164c2b3aa","url":"https://jobsearcher.com/jobs/10c9e853d0f4ae1164c2b3aa","canonicalUrl":"https://jobsearcher.com/jobs/10c9e853d0f4ae1164c2b3aa","title":"Remote Lean 4 Proof Engineer for AI Research","description":"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","company":"Alignerr","rawCompany":"alignerr","isRemote":true,"isActive":false,"createdAt":"2026-05-08T05:05:20.080Z","occupations":[{"code":"15-2021.00","title":"Mathematicians","slug":"mathematicians"},{"code":"15-1221.00","title":"Computer and Information Research Scientists","slug":"computer-and-information-research-scientists"},{"code":"15-2099.00","title":"Mathematical Science Occupations, All Other","slug":"mathematical-science-occupations-all-other"}],"industries":[{"code":"541990","title":"All Other Professional, Scientific, and Technical Services","slug":"all-other-professional-scientific-and-technical-services"},{"code":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"},{"code":"541690","title":"Other Scientific and Technical Consulting Services","slug":"other-scientific-and-technical-consulting-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Remote Lean 4 Proof Engineer for AI Research","description":"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","datePosted":"2026-05-08T05:05:20.080Z","dateModified":"2026-05-08T05:05:20.080Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"10c9e853d0f4ae1164c2b3aa"},"url":"https://jobsearcher.com/jobs/10c9e853d0f4ae1164c2b3aa"}}