{"schemaVersion":"jobsearcher.job.v1","id":"80841c0543af0e534fa6180c","url":"https://jobsearcher.com/jobs/80841c0543af0e534fa6180c","canonicalUrl":"https://jobsearcher.com/jobs/80841c0543af0e534fa6180c","title":"Remote Lean 4 Proof Engineer Mathematical Formalization","description":"Alignerr is seeking a Lean 4 Proof Engineer to translate informal mathematical proofs into Lean formalizations for AI training and to push the boundaries of formal verification. You will work on proofs that extend beyond current automated tools in a fully remote, hourly contract.\nThe role welcomes mathematicians with strong proof-writing ability and hands-on experience in Lean (or other proof assistants). Collaboration with AI researchers and a focus on precision are essential.\n\n#J-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","city":"Sheffield","state":"TX","isRemote":true,"isActive":false,"createdAt":"2026-07-16T04:03:25.967Z","occupations":[{"code":"15-2021.00","title":"Mathematicians","slug":"mathematicians"},{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"},{"code":"15-1299.07","title":"Blockchain Engineers","slug":"blockchain-engineers"}],"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 Mathematical Formalization","description":"Alignerr is seeking a Lean 4 Proof Engineer to translate informal mathematical proofs into Lean formalizations for AI training and to push the boundaries of formal verification. You will work on proofs that extend beyond current automated tools in a fully remote, hourly contract.\nThe role welcomes mathematicians with strong proof-writing ability and hands-on experience in Lean (or other proof assistants). Collaboration with AI researchers and a focus on precision are essential.\n\n#J-18808-Ljbffr","datePosted":"2026-07-16T04:03:25.967Z","dateModified":"2026-07-16T04:03:25.967Z","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":"80841c0543af0e534fa6180c"},"url":"https://jobsearcher.com/jobs/80841c0543af0e534fa6180c"}}