{"schemaVersion":"jobsearcher.job.v1","id":"0592aacfde9490dfaa0f1b5f","url":"https://jobsearcher.com/jobs/0592aacfde9490dfaa0f1b5f","canonicalUrl":"https://jobsearcher.com/jobs/0592aacfde9490dfaa0f1b5f","title":"Remote Lean 4 Proof Engineer: Formalization & Verification","description":"A tech company specializing in formal verification is seeking a Lean 4 Proof Engineer to translate mathematical proofs into machine-verifiable formalizations. The role is remote and flexible, requiring a master’s degree in mathematics or a related field, alongside strong proof writing skills and experience with formal proof systems like Lean. You will work on cutting-edge AI projects and have the potential for contract extension, enjoying competitive pay and collaborative work environments.\r\n#J-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","city":"Charlotte","state":"AR","isRemote":true,"isActive":false,"createdAt":"2026-04-09T09:14:51.542Z","occupations":[{"code":"17-2112.02","title":"Validation Engineers","slug":"validation-engineers"},{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"},{"code":"15-2021.00","title":"Mathematicians","slug":"mathematicians"}],"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 tech company specializing in formal verification is seeking a Lean 4 Proof Engineer to translate mathematical proofs into machine-verifiable formalizations. The role is remote and flexible, requiring a master’s degree in mathematics or a related field, alongside strong proof writing skills and experience with formal proof systems like Lean. You will work on cutting-edge AI projects and have the potential for contract extension, enjoying competitive pay and collaborative work environments.\r\n#J-18808-Ljbffr","datePosted":"2026-04-09T09:14:51.542Z","dateModified":"2026-04-09T09:14:51.542Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Charlotte","addressRegion":"AR","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"0592aacfde9490dfaa0f1b5f"},"url":"https://jobsearcher.com/jobs/0592aacfde9490dfaa0f1b5f"}}