{"schemaVersion":"jobsearcher.job.v1","id":"e9de1b5bb560a7107768a018","url":"https://jobsearcher.com/jobs/e9de1b5bb560a7107768a018","canonicalUrl":"https://jobsearcher.com/jobs/e9de1b5bb560a7107768a018","title":"Remote Lean 4 Formalization Expert for AI Training","description":"Alignerr is seeking a Lean 4 Mathematical Formalization Expert to contribute to AI development by translating mathematical content into formal proofs. This fully remote role allows flexibility in working hours and is ideal for mathematicians interested in formal verification. Responsibilities include formalizing texts and ensuring the logical soundness of representations. Candidates should possess strong Lean 4 experience, a solid mathematics background, and a keen eye for detail.#J-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","isRemote":true,"isActive":false,"createdAt":"2026-05-08T05:05:20.080Z","occupations":[{"code":"15-2021.00","title":"Mathematicians","slug":"mathematicians"},{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"},{"code":"15-2051.00","title":"Data Scientists","slug":"data-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":"541618","title":"Other Management Consulting Services","slug":"other-management-consulting-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Remote Lean 4 Formalization Expert for AI Training","description":"Alignerr is seeking a Lean 4 Mathematical Formalization Expert to contribute to AI development by translating mathematical content into formal proofs. This fully remote role allows flexibility in working hours and is ideal for mathematicians interested in formal verification. Responsibilities include formalizing texts and ensuring the logical soundness of representations. Candidates should possess strong Lean 4 experience, a solid mathematics background, and a keen eye for detail.#J-18808-Ljbffr","datePosted":"2026-05-08T05:05:20.080Z","dateModified":"2026-05-08T05:05:20.080Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"e9de1b5bb560a7107768a018"},"url":"https://jobsearcher.com/jobs/e9de1b5bb560a7107768a018"}}