{"schemaVersion":"jobsearcher.job.v1","id":"0e4d6f9ee99b15c5fb20dd34","url":"https://jobsearcher.com/jobs/0e4d6f9ee99b15c5fb20dd34","canonicalUrl":"https://jobsearcher.com/jobs/0e4d6f9ee99b15c5fb20dd34","title":"Remote Lean Formalization Expert","description":"Alignerr is seeking a Mathematical Formalization Specialist with deep expertise in formal proof systems, particularly Lean, to advance AI reasoning and machine‐verifiable mathematics. This is a fully remote, hourly contract role collaborating with leading AI research teams. You will translate informal proofs into Lean, analyze proofs for gaps, and build formalizations that push the limits of current proof assistants while collaborating to improve verification pipelines. #J-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","city":"Austin","state":"CO","isRemote":true,"isActive":false,"createdAt":"2026-07-17T00:01:32.344Z","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":"541618","title":"Other Management Consulting Services","slug":"other-management-consulting-services"},{"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 Formalization Expert","description":"Alignerr is seeking a Mathematical Formalization Specialist with deep expertise in formal proof systems, particularly Lean, to advance AI reasoning and machine‐verifiable mathematics. This is a fully remote, hourly contract role collaborating with leading AI research teams. You will translate informal proofs into Lean, analyze proofs for gaps, and build formalizations that push the limits of current proof assistants while collaborating to improve verification pipelines. #J-18808-Ljbffr","datePosted":"2026-07-17T00:01:32.344Z","dateModified":"2026-07-17T00:01:32.344Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Austin","addressRegion":"CO","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"0e4d6f9ee99b15c5fb20dd34"},"url":"https://jobsearcher.com/jobs/0e4d6f9ee99b15c5fb20dd34"}}