Math jobs in United Kingdom
Remote Lean 4 Proof Engineer: Formalize Math Frontiers
Alignerr Corp.
Remote Lean 4 Proof Engineer: Formalize Math Frontiers
Alignerr Corp.
Inspiring Maths Teacher (KS5) – Permanent, Full/Part Time
Bracknell Forest
Teacher of Maths
Kingedwardvifoundation
Full-Time Maths Teacher - Elevate Student Learning
Caldicot School
Discover more opportunities than anywhere else. Find more jobs nowTeacher of Mathematics
Caldicot School
Inspiring Mathematics Teacher | Leicester
Beauchamp College
Teacher of Mathematics
Beauchamp College
Connect with headhunters to apply for similar jobsMathematics Teacher KS5 & Further Maths Specialist
Ark Pioneer
Mathematics Teacher
Ark Pioneer
Maths Teacher: Relocation Support & Inspiring Learning
Moray
Teacher of Maths (2 posts) August start - Speyside High School - MOR11546
Moray
KS5 Maths Teacher in a Technology-Enabled Catholic School
St Paul’s Catholic College
Teacher of Maths
St Paul’s Catholic College
Teacher of Mathematics
Bracknell Forest
Maths Teacher: Inspire Change Makers Across Curricula
ISC group
Founding Maths Teacher for ASD-Inclusive School
Kmtraining
SEN Tutor for KS1 English/Maths — In-Person, Clapton
Tutor's Green Limited.
Dynamic Maths Teacher for GCSE & Further Maths
Derbyshire Limited
Mathematics Teacher
Derbyshire Limited
Lean 4 Proof Engineer - Mathematical Formalization
Alignerr Corp.
Remote Lean 4 Proof Engineer: Formalize Math Frontiers
Job summary
A leading mathematics and computer science firm is seeking a Lean 4 Proof Engineer to work remotely. The ideal candidate will possess a Master’s degree in a relevant field and expertise in proof writing and formal verification. Responsibilities include translating mathematical proofs into machine-verifiable formats and collaborating on advanced AI projects. The role offers competitive hourly pay ranging from $70 to $150 and flexible working hours, making it perfect for those passionate about the intersection of mathematics and computer science.
Benefits
Qualifications
- Master's degree or higher in Mathematics, Logic, or closely related field.
- Strong foundation in rigorous proof writing and mathematical reasoning.
- Hands-on experience with proof assistants like Lean, Coq, etc.
Responsibilities
- Translate informal mathematical proofs into Lean with clarity and correctness.
- Analyze generic and domain-specific proofs for hidden assumptions.
- Collaborate with researchers on improving formal verification pipelines.
Skills
Education
Tools
* The salary benchmark is based on the target salaries of market leaders in their relevant sectors. It is intended to serve as a guide to help Premium Members assess open positions and to help in salary negotiations. The salary benchmark is not provided directly by the company, which could be significantly higher or lower.