{"schemaVersion":"jobsearcher.job.v1","id":"efc08ded6e5ac6463254f0d7","url":"https://jobsearcher.com/jobs/efc08ded6e5ac6463254f0d7","canonicalUrl":"https://jobsearcher.com/jobs/efc08ded6e5ac6463254f0d7","title":"Remote Lean 4 Proof Engineer: Formalization & Verification","description":"A leading tech company in Chicago is seeking a Lean 4 Proof Engineer specializing in mathematical formalization. The candidate should hold a Master's degree in Mathematics and have hands-on experience with proof assistants like Lean. This role involves translating informal proofs into formal structures and collaborating with researchers on advanced AI projects. Benefits include competitive pay, flexible remote work, and the opportunity to work with cutting-edge technology in a stimulating environment.\r\n#J-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","city":"Chicago","state":"IL","isRemote":true,"isActive":false,"createdAt":"2026-04-09T09:14:52.130Z","occupations":[{"code":"15-2021.00","title":"Mathematicians","slug":"mathematicians"},{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"},{"code":"15-2099.00","title":"Mathematical Science Occupations, All Other","slug":"mathematical-science-occupations-all-other"}],"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: Formalization & Verification","description":"A leading tech company in Chicago is seeking a Lean 4 Proof Engineer specializing in mathematical formalization. The candidate should hold a Master's degree in Mathematics and have hands-on experience with proof assistants like Lean. This role involves translating informal proofs into formal structures and collaborating with researchers on advanced AI projects. Benefits include competitive pay, flexible remote work, and the opportunity to work with cutting-edge technology in a stimulating environment.\r\n#J-18808-Ljbffr","datePosted":"2026-04-09T09:14:52.130Z","dateModified":"2026-04-09T09:14:52.130Z","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":"efc08ded6e5ac6463254f0d7"},"url":"https://jobsearcher.com/jobs/efc08ded6e5ac6463254f0d7"}}