{"schemaVersion":"jobsearcher.job.v1","id":"eca4a9324efe0b8b040fb44f","url":"https://jobsearcher.com/jobs/eca4a9324efe0b8b040fb44f","canonicalUrl":"https://jobsearcher.com/jobs/eca4a9324efe0b8b040fb44f","title":"Lean Proof Architect","description":"A leading AI research firm seeks a Mathematical Formalization Specialist to translate mathematical proofs into formal verifications using Lean. The candidate should have a Master's or higher in Mathematics and experience with formal proof systems. Responsibilities include analyzing, constructing, and refining proofs that push the boundaries of automated verification tools. This role requires a passion for formal verification and a keen problem-solving ability in translating complex mathematical arguments into machine-understandable formats.#J-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","city":"Bremen","state":"IN","isRemote":false,"isActive":false,"createdAt":"2026-04-09T09:14:52.495Z","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-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":"541990","title":"All Other Professional, Scientific, and Technical Services","slug":"all-other-professional-scientific-and-technical-services"},{"code":"513210","title":"Software Publishers","slug":"software-publishers"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Lean Proof Architect","description":"A leading AI research firm seeks a Mathematical Formalization Specialist to translate mathematical proofs into formal verifications using Lean. The candidate should have a Master's or higher in Mathematics and experience with formal proof systems. Responsibilities include analyzing, constructing, and refining proofs that push the boundaries of automated verification tools. This role requires a passion for formal verification and a keen problem-solving ability in translating complex mathematical arguments into machine-understandable formats.#J-18808-Ljbffr","datePosted":"2026-04-09T09:14:52.495Z","dateModified":"2026-04-09T09:14:52.495Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Bremen","addressRegion":"IN","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"eca4a9324efe0b8b040fb44f"},"url":"https://jobsearcher.com/jobs/eca4a9324efe0b8b040fb44f"}}