{"schemaVersion":"jobsearcher.job.v1","id":"c82913d7a9962b5c33b177a7","url":"https://jobsearcher.com/jobs/c82913d7a9962b5c33b177a7","canonicalUrl":"https://jobsearcher.com/jobs/c82913d7a9962b5c33b177a7","title":"Remote Lean 4 Proof Engineer - Formalization Specialist","description":"A leading AI research company is looking for a Lean 4 Proof Engineer specializing in mathematical formalization. The ideal candidate will have a Master's degree in Mathematics or a related field and experience in rigorous proof writing and formal verification using Lean. Responsibilities include translating informal mathematical proofs into formal structures and collaborating with researchers on verification tools. This is a remote position with flexible hours and competitive pay.\r\nJ-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","city":"Chicago","state":"IL","isRemote":true,"isActive":false,"createdAt":"2026-04-09T09:14:50.675Z","occupations":[{"code":"15-2021.00","title":"Mathematicians","slug":"mathematicians"},{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"},{"code":"15-1221.00","title":"Computer and Information Research Scientists","slug":"computer-and-information-research-scientists"}],"industries":[{"code":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"},{"code":"541990","title":"All Other Professional, Scientific, and Technical Services","slug":"all-other-professional-scientific-and-technical-services"},{"code":"541618","title":"Other Management Consulting Services","slug":"other-management-consulting-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Remote Lean 4 Proof Engineer - Formalization Specialist","description":"A leading AI research company is looking for a Lean 4 Proof Engineer specializing in mathematical formalization. The ideal candidate will have a Master's degree in Mathematics or a related field and experience in rigorous proof writing and formal verification using Lean. Responsibilities include translating informal mathematical proofs into formal structures and collaborating with researchers on verification tools. This is a remote position with flexible hours and competitive pay.\r\nJ-18808-Ljbffr","datePosted":"2026-04-09T09:14:50.675Z","dateModified":"2026-04-09T09:14:50.675Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Chicago","addressRegion":"IL","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"c82913d7a9962b5c33b177a7"},"url":"https://jobsearcher.com/jobs/c82913d7a9962b5c33b177a7"}}