{"schemaVersion":"jobsearcher.job.v1","id":"56f49aec67c4e1c46cb0af8b","url":"https://jobsearcher.com/jobs/56f49aec67c4e1c46cb0af8b","canonicalUrl":"https://jobsearcher.com/jobs/56f49aec67c4e1c46cb0af8b","title":"Remote Lean 4 Proof Engineer: Formalize Math for AI","description":"Alignerr is seeking a Lean 4 Proof Engineer to transform informal mathematics into machine-verifiable formalizations. This remote position offers flexibility to mathematicians passionate about proof construction.\nYour responsibilities will include translating proofs into Lean 4, analyzing gaps in formal arguments, and collaborating with AI researchers. Ideal candidates hold a Masters in a relevant field and possess a strong proof-writing foundation.\nJoin us working at the frontier of AI research with meaningful projects that push the limits of mechanized mathematics. #J-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","city":"Denver","state":"CO","isRemote":true,"isActive":false,"createdAt":"2026-06-02T13:11:14.554Z","occupations":[{"code":"15-2021.00","title":"Mathematicians","slug":"mathematicians"},{"code":"15-2051.00","title":"Data Scientists","slug":"data-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 for AI","description":"Alignerr is seeking a Lean 4 Proof Engineer to transform informal mathematics into machine-verifiable formalizations. This remote position offers flexibility to mathematicians passionate about proof construction.\nYour responsibilities will include translating proofs into Lean 4, analyzing gaps in formal arguments, and collaborating with AI researchers. Ideal candidates hold a Masters in a relevant field and possess a strong proof-writing foundation.\nJoin us working at the frontier of AI research with meaningful projects that push the limits of mechanized mathematics. #J-18808-Ljbffr","datePosted":"2026-06-02T13:11:14.554Z","dateModified":"2026-06-02T13:11:14.554Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Denver","addressRegion":"CO","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"56f49aec67c4e1c46cb0af8b"},"url":"https://jobsearcher.com/jobs/56f49aec67c4e1c46cb0af8b"}}