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
Mathematician - 54+ job offers
54 job opportunities for mathematician in United Kingdom updated today
job offers found
· Page 1 / 3Brighton College is seeking to appoint a Mathematician in Residence on a permanent part-time contract, starting as soon as possible. Main Purpose of the Role: We are seeking an exceptional mathematician to work with our most able students as a Mathematician in Residence. This is a unique opportunity
Brighton College is seeking to appoint a Mathematician in Residence on a permanent part-time contract, starting as soon as possible. Main Purpose of the Role: We are seeking an exceptional mathematician to work with our most able students as a Mathematician in Residence. This is a unique opportunity
What are we building? At Hard Rock Games, we’re not just making games—we’re crafting experiences that connect people, deliver thrills, and celebrate the spirit of Hard Rock. As the social casino gaming arm of Hard Rock Digital, our teams shape every stage of the journey from concept to launch to liv
Job Summary Brighton College is seeking to appoint a Mathematician in Residence on a permanent part-time contract, starting as soon as possible. Main Purpose of the Role: We are seeking an exceptional mathematician to work with our most able students as a Mathematician in Residence. This is a unique
Brighton College is seeking to appoint a Mathematician in Residence on a permanent part-time contract, starting as soon as possible. Main Purpose of the Role: We are seeking an exceptional mathematician to work with our most able students as a Mathematician in Residence. This is a unique opportunity
Brighton College is seeking to appoint a Mathematician in Residence on a permanent part-time contract, starting as soon as possible. Make sure to apply quickly in order to maximise your chances of being considered for an interview Read the complete job description below. Main Purpose of the Role: We
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians with hands-on experience in formal proof systems to help push the boundaries of what machines c
Brighton College is seeking to appoint a Mathematician in Residence on a permanent part-time contract, starting as soon as possible. Main Purpose of the Role: We are seeking an exceptional mathematician to work with our most able students as a Mathematician in Residence. This is a unique opportunity
Brighton College is seeking to appoint a Mathematician in Residence on a permanent part-time contract, starting as soon as possible. Main Purpose of the Role: We are seeking an exceptional mathematician to work with our most able students as a Mathematician in Residence. This is a unique opportunity
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your deep mathematical expertise could directly shape the future of AI reasoning? We're looking for mathematicians who love rigorous proof and formal verification to help us map the frontier of what machine-ve
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your deep mathematical expertise could directly shape the future of AI reasoning? We're looking for mathematicians who love rigorous proof and formal verification to help us map the frontier of what machine-ve
About The Role What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier
About The Role What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier
Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your mathematical expertise could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians and formal verification specialists to translate advanced mathematical arguments into precise
Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your deep mathematical training could directly shape the future of AI — and push the boundaries of what machines can reason about? We're looking for mathematicians with formal verification expertise to translate rigorous human
Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your deep mathematical training could directly shape the future of AI — and push the boundaries of what machines can reason about? We're looking for mathematicians with formal verification expertise to translate rigorous human
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
1X2 Network is seeking a skilled mathematician to join the Maths Team in Brighton to design, analyze, and optimize online and retail slot games. Collaborate with Back-End, Front-End, Data and Operations teams to monitor and refine game performance post-launch. The role requires strong mathematical i
TTP is an employee-owned technology and product development consultancy, with a 40-year track record of helping ambitious clients solve complex technical challenges and bring innovative, commercially successful solutions to market. We invent, design, and manufacture impactful products and technologi
Estimated salary for Mathematician
£20,000 – £32,000per year
Estimation confidence: Low
Estimate based on market data. Actual salaries may vary depending on experience, company, and location.
View full salary data →Mathematician by city
Find mathematician job offers in the top cities in United Kingdom