{"schemaVersion":"jobsearcher.job.v1","id":"49bbdce060111f20012a557d","url":"https://jobsearcher.com/jobs/49bbdce060111f20012a557d","canonicalUrl":"https://jobsearcher.com/jobs/49bbdce060111f20012a557d","title":"Lean 4 Proof Architect for AI Math (Remote)","description":"A leading AI firm is seeking a Lean 4 Mathematical Formalization Expert for a fully remote, flexible contract role. You'll translate rigorous mathematical content into machine-verified formal proofs, shaping how AI reasons about mathematics. Ideal candidates should have hands-on Lean 4 experience and a strong background in mathematics. The role offers the opportunity to contribute to high-impact AI projects on your own schedule.#J-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","isRemote":true,"isActive":false,"createdAt":"2026-04-19T02:35:47.868Z","occupations":[{"code":"15-2021.00","title":"Mathematicians","slug":"mathematicians"},{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"},{"code":"15-2099.00","title":"Mathematical Science Occupations, All Other","slug":"mathematical-science-occupations-all-other"}],"industries":[{"code":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"},{"code":"541512","title":"Computer Systems Design Services","slug":"computer-systems-design-services"},{"code":"513210","title":"Software Publishers","slug":"software-publishers"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Lean 4 Proof Architect for AI Math (Remote)","description":"A leading AI firm is seeking a Lean 4 Mathematical Formalization Expert for a fully remote, flexible contract role. You'll translate rigorous mathematical content into machine-verified formal proofs, shaping how AI reasons about mathematics. Ideal candidates should have hands-on Lean 4 experience and a strong background in mathematics. The role offers the opportunity to contribute to high-impact AI projects on your own schedule.#J-18808-Ljbffr","datePosted":"2026-04-19T02:35:47.868Z","dateModified":"2026-04-19T02:35:47.868Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"49bbdce060111f20012a557d"},"url":"https://jobsearcher.com/jobs/49bbdce060111f20012a557d"}}