Alignerr is seeking a Researcher – Lean 4 & Formal Proof Systems (AI Training) to translate advanced mathematical arguments into machine-verifiable Lean 4 proofs. You will work remotely, collaborating with AI researchers to push the boundaries of proof assistants and automation, delivering rigorous formalizations and reproducible scripts.
Ideal candidates have a Master’s or higher in a mathematics-related field, strong proof-writing skills across multiple areas, and hands-on
#J-18808-Ljbffr
Step into the Remote Lean 4 Researcher: Formal Proofs for AI role at Alignerr Corp. in Birmingham, England, United Kingdom and grow with us.
We invite applications for the Remote Lean 4 Researcher: Formal Proofs for AI position located in Birmingham, England, United Kingdom.
The following role is for a Remote Lean 4 Researcher: Formal Proofs for AI with Alignerr Corp.
Our team is growing, and we are hiring a Remote Lean 4 Researcher: Formal Proofs for AI in Birmingham, England, United Kingdom.