Remote Researcher - Lean 4 & Formal Proofs
Birmingham, West Midlands, B1, England, UK
Listed on 2026-10-25
-
Research/Development
Research Scientist, AI Business & Operations, Research Analyst
Alignerr seeks researchers to translate advanced mathematical proofs into Lean 4 formalizations, pushing the boundaries of automated reasoning. You will work remotely on 10–40 hours per week, translating dense arguments into machine-verifiable proofs and collaborating with AI researchers to improve verification pipelines.
Ideal candidates hold a Master’s or higher in mathematics or related fields, with strong proof-writing skills and experience in Lean, Coq, Isabelle/HOL, or Agda.
Our team is growing, and we are hiring a Remote Researcher - Lean 4 & Formal Proofs in Birmingham, England, United Kingdom.
All applications are reviewed carefully by our team.
The position is based in Birmingham, England, United Kingdom.
This opportunity is part of our work in Bio & Pharmacology & Health.
The advertised compensation is 96..
We aim to respond to suitable candidates as soon as possible.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).