Remote Lean 4 Proof Engineer — Mathematical Formalization

{ “@context”: “http://schema.org”, “@type”: “JobPosting”, “title”: “Remote Lean 4 Proof Engineer — Mathematical Formalization”, “description”: “Alignerr is seeking a Lean 4 Proof Engineer to shape the future of AI through mathematical formalization. This fully remote role requires translating complex mathematical proofs into machine-verifiable code, collaborating with AI researchers, and analyzing proofs across various domains. Applicants should hold a Master's degree in Mathematics or a related field and have hands-on experience with proof systems like Lean 4. Enjoy freelance autonomy with meaningful work while operating at the cutting edge of mechanized mathematics.#J-18808-Ljbffr”, “datePosted”: “2026-05-17”, “hiringOrganization”: { “@type”: “Organization”, “name”: “Alignerr”, “sameAs”: “https://uk.whatjobs.com/pub_api__cpl__434442034__4861?utm_campaign=publisher&utm_medium=api&utm_source=4861&geoID=12335” }, “jobLocation”: { “@type”: “Place”, “address”: { “@type”: “PostalAddress”, “addressLocality”: “Glasgow” } } }