{"schemaVersion":"jobsearcher.job.v1","id":"500503d5000304369a78e19e","url":"https://jobsearcher.com/jobs/500503d5000304369a78e19e","canonicalUrl":"https://jobsearcher.com/jobs/500503d5000304369a78e19e","title":"Remote Lean 4 Proof Engineer: Formalize Math","description":"A leading AI research organization seeks a Lean 4 Proof Engineer specializing in mathematical formalization. This role involves translating informal mathematical proofs into machine-verifiable formalizations, focusing on clarity and rigorous proof construction. Candidates should possess a Master’s degree in Mathematics or a related field and hands-on experience with Lean and formal proof languages. The position offers competitive hourly pay, flexible remote work, and opportunities to collaborate on cutting-edge AI projects.\n#J-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","city":"Sheffield","state":"TX","isRemote":true,"isActive":false,"createdAt":"2026-04-10T05:00:04.446Z","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-1252.00","title":"Software Developers","slug":"software-developers"}],"industries":[{"code":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"},{"code":"513210","title":"Software Publishers","slug":"software-publishers"},{"code":"541990","title":"All Other Professional, Scientific, and Technical Services","slug":"all-other-professional-scientific-and-technical-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Remote Lean 4 Proof Engineer: Formalize Math","description":"A leading AI research organization seeks a Lean 4 Proof Engineer specializing in mathematical formalization. This role involves translating informal mathematical proofs into machine-verifiable formalizations, focusing on clarity and rigorous proof construction. Candidates should possess a Master’s degree in Mathematics or a related field and hands-on experience with Lean and formal proof languages. The position offers competitive hourly pay, flexible remote work, and opportunities to collaborate on cutting-edge AI projects.\n#J-18808-Ljbffr","datePosted":"2026-04-10T05:00:04.446Z","dateModified":"2026-04-10T05:00:04.446Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Sheffield","addressRegion":"TX","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"500503d5000304369a78e19e"},"url":"https://jobsearcher.com/jobs/500503d5000304369a78e19e"}}