{"schemaVersion":"jobsearcher.job.v1","id":"af3e26128448cae0b5a50463","url":"https://jobsearcher.com/jobs/af3e26128448cae0b5a50463","canonicalUrl":"https://jobsearcher.com/jobs/af3e26128448cae0b5a50463","title":"Remote Lean 4 Formal Proof Architect for AI","description":"Alignerr is seeking a mathematician with hands-on formal verification experience to translate complex human arguments into Lean 4 proofs. This role offers the flexibility of a fully remote contract, allowing for 10–40 hours per week. Candidates should hold a Master's degree or higher in Mathematics or related fields and have deep experience in rigorous proof construction. Join cutting-edge AI projects while enjoying freelance autonomy and the potential for ongoing work.#J-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","isRemote":true,"isActive":false,"createdAt":"2026-05-09T04:59:58.724Z","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":"513210","title":"Software Publishers","slug":"software-publishers"},{"code":"541512","title":"Computer Systems Design Services","slug":"computer-systems-design-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Remote Lean 4 Formal Proof Architect for AI","description":"Alignerr is seeking a mathematician with hands-on formal verification experience to translate complex human arguments into Lean 4 proofs. This role offers the flexibility of a fully remote contract, allowing for 10–40 hours per week. Candidates should hold a Master's degree or higher in Mathematics or related fields and have deep experience in rigorous proof construction. Join cutting-edge AI projects while enjoying freelance autonomy and the potential for ongoing work.#J-18808-Ljbffr","datePosted":"2026-05-09T04:59:58.724Z","dateModified":"2026-05-09T04:59:58.724Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"af3e26128448cae0b5a50463"},"url":"https://jobsearcher.com/jobs/af3e26128448cae0b5a50463"}}