{"schemaVersion":"jobsearcher.job.v1","id":"d770e8c57ee373918e8aedfd","url":"https://jobsearcher.com/jobs/d770e8c57ee373918e8aedfd","canonicalUrl":"https://jobsearcher.com/jobs/d770e8c57ee373918e8aedfd","title":"Remote Lean Formalization Specialist","description":"Alignerr is looking for a Mathematical Formalization Specialist to translate mathematical proofs into Lean and improve formal verification processes. This fully remote role offers flexibility to work alongside leading AI research teams, focusing on proofs that current tools cannot automate.\r\nThe ideal candidate has a Master's degree in Mathematics and hands-on experience with Lean. Join us to engage in cutting-edge AI research with autonomy and the opportunity for ongoing projects.#J-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","city":"Austin","state":"CO","isRemote":true,"isActive":false,"createdAt":"2026-06-21T01:05:59.268Z","occupations":[{"code":"15-2021.00","title":"Mathematicians","slug":"mathematicians"},{"code":"15-2099.00","title":"Mathematical Science Occupations, All Other","slug":"mathematical-science-occupations-all-other"},{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"}],"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 Specialist","description":"Alignerr is looking for a Mathematical Formalization Specialist to translate mathematical proofs into Lean and improve formal verification processes. This fully remote role offers flexibility to work alongside leading AI research teams, focusing on proofs that current tools cannot automate.\r\nThe ideal candidate has a Master's degree in Mathematics and hands-on experience with Lean. Join us to engage in cutting-edge AI research with autonomy and the opportunity for ongoing projects.#J-18808-Ljbffr","datePosted":"2026-06-21T01:05:59.268Z","dateModified":"2026-06-21T01:05:59.268Z","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":"d770e8c57ee373918e8aedfd"},"url":"https://jobsearcher.com/jobs/d770e8c57ee373918e8aedfd"}}