16 job opportunities for lean methods in United Kingdom updated today
job offers found
About The Role What if your mathematical expertise could directly shape how AI reasons about the hardest problems in mathematics? We're looking for Applied Formal Methods Researchers to translate complex human-written proofs into machine-verifiable formalizations — working at the very frontier of wh
AlignerrOverview Location: Remote At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pu
AlignerrOverview Location: Remote At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pu
AlignerrOverview Location: Remote At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pu
AlignerrOverview Location: Remote At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pu
AlignerrA leading AI research company is seeking an Applied Formal Methods Researcher (Lean 4) to work remotely. The role involves translating informal mathematical proofs into Lean, analyzing proofs for gaps, and collaborating with researchers to enhance formal verification strategies. Ideal candidates wil
AlignerrA leading AI research collaborator is seeking an Applied Formal Methods Researcher (Lean 4). You will work remotely, translating informal mathematical proofs into formal Lean proofs, collaborating with researchers to enhance formal verification processes. The role demands a strong foundation in rigo
A leading AI research partner seeks an Applied Formal Methods Researcher to translate informal mathematical proofs into Lean. Ideal candidates will have a Master's degree in Mathematics and a strong background in rigorous proof writing. The role offers competitive pay, flexible remote work, and the
AlignerrLocation: Remote About the job At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification a
AlignerrOverview Location: RemoteAt Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting-edge AI models.Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and push
AlignerrA leading AI research partner is seeking an Applied Formal Methods Researcher to translate informal mathematical proofs into Lean and formal verification. Candidates should have a Master's degree in Mathematics or a related field and hands-on experience with proof assistants like Lean. The position
AlignerrOverview Location: RemoteAt Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting-edge AI models.Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and push
AlignerrOverview Location: RemoteAt Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting-edge AI models.Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and push
AlignerrA leading AI research collaborator is seeking an Applied Formal Methods Researcher (Lean 4). You will work remotely, translating informal mathematical proofs into formal Lean proofs, collaborating with researchers to enhance formal verification processes. The role demands a strong foundation in rigo
AlignerrA leading AI research partner seeks an Applied Formal Methods Researcher to translate informal mathematical proofs into Lean. Ideal candidates will have a Master's degree in Mathematics and a strong background in rigorous proof writing. The role offers competitive pay, flexible remote work, and the
AlignerrA leading AI research firm is looking for an Applied Formal Methods Researcher to translate informal mathematical proofs into formal Lean representations. The ideal candidate will have a strong background in mathematics and rigorous proof writing. This remote position offers competitive pay and the
£20,000 – £32,000per year
Estimation confidence: Low
Estimate based on market data. Actual salaries may vary depending on experience, company, and location.