5 job opportunities for proof assistants in United Kingdom updated today
job offers found
About The Role What if your deep mathematical training could directly shape how AI systems understand and reason about formal proof? We're looking for Formal Verification Scientists to translate advanced mathematics into machine-verifiable knowledge — working at the frontier of what proof assistants
Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your deepest mathematical instincts could directly shape how the next generation of AI understands and reasons about formal proof? We're looking for expert mathematicians to translate rigorous human arguments into machine-veri
Lean 4 Proof Engineer — Mathematical Formalization (AI Training) About The Role What if your deep mathematical training could directly shape how AI reasons about formal proofs — and help push the boundaries of what machines can understand and verify? We're looking for mathematicians with serious pro
Lean 4 Proof Engineer — Mathematical Formalization (AI Training) About The Role What if your mastery of rigorous mathematics could directly shape how AI reasons, proves, and understands the deepest structures of human knowledge? We're looking for mathematicians with hands-on experience in formal pro
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. We recruit top mathematicians and specialists to solve tasks where automated tools fail, advancing AI reliability,
£15,000 – £23,000per year
Estimation confidence: Low
Estimate based on market data. Actual salaries may vary depending on experience, company, and location.