{"schemaVersion":"jobsearcher.job.v1","id":"bee89614660c7ca18f4ccafd","url":"https://jobsearcher.com/jobs/bee89614660c7ca18f4ccafd","canonicalUrl":"https://jobsearcher.com/jobs/bee89614660c7ca18f4ccafd","title":"Lean 4 Formalization Scientist","description":"A leading AI research organization is seeking mathematicians and logicians for a fully remote role. You will translate informal mathematical proofs into Lean 4 formalizations and analyze proofs for clarity and correctness. With a Master's degree and a strong understanding of proof writing, you will collaborate with AI researchers in advancing formal verification processes. Enjoy high autonomy and flexible working conditions in a unique role at the frontier of AI research.\r\nJ-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","city":"Dallas","state":"TX","isRemote":false,"isActive":false,"createdAt":"2026-04-24T04:56:21.803Z","occupations":[{"code":"15-1221.00","title":"Computer and Information Research Scientists","slug":"computer-and-information-research-scientists"},{"code":"15-2021.00","title":"Mathematicians","slug":"mathematicians"},{"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":"541690","title":"Other Scientific and Technical Consulting Services","slug":"other-scientific-and-technical-consulting-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Lean 4 Formalization Scientist","description":"A leading AI research organization is seeking mathematicians and logicians for a fully remote role. You will translate informal mathematical proofs into Lean 4 formalizations and analyze proofs for clarity and correctness. With a Master's degree and a strong understanding of proof writing, you will collaborate with AI researchers in advancing formal verification processes. Enjoy high autonomy and flexible working conditions in a unique role at the frontier of AI research.\r\nJ-18808-Ljbffr","datePosted":"2026-04-24T04:56:21.803Z","dateModified":"2026-04-24T04:56:21.803Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Dallas","addressRegion":"TX","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"bee89614660c7ca18f4ccafd"},"url":"https://jobsearcher.com/jobs/bee89614660c7ca18f4ccafd"}}