Remote Lean 4 Proof Engineer Mathematical Formalization Jobs in Oxford
ethical AI opportunities in United Kingdom
Jobs Found
A
Lean 4 Proof Engineer - Mathematical Formalization
🏢 Alignerr
📍 Oxford, England, United-Kingdom
A
Remote Lean 4 Proof Engineer: Mathematical Formalization
🏢 Alignerr
📍 Oxford, England, United-Kingdom
H
Senior MLE - Blockchain AI
🏢 Harnham
📍 oxford district, oxford district, United-Kingdom
S
Senior Product Engineer - AI, Data, Cloud (Innovation Labs)
🏢 Serve Legal
📍 oxford district, oxford district, United-Kingdom
U
Microsoft Copilot Engineer
🏢 Understanding Recruitment NFP
📍 oxford district, oxford district, United-Kingdom
I
Postdoctoral Research Associate in Mathematical Physics
🏢 Institute of Mathematics and its Applications
📍 Oxford, England, United-Kingdom
D
Senior Data Engineer
🏢 Durlston Partners
📍 oxford district, oxford district, United-Kingdom
C
Ai Engineer Placement Programme
🏢 Career Change
📍 Oxford, Oxfordshire, United Kingdom
U
Postdoctoral Research Assistant in Bioreactor Modelling
🏢 University of Oxford
📍 Oxford, England, United Kingdom
U
Postdoctoral Research Assistant in Bioreactor Modelling
🏢 University of Oxford
📍 Oxford, England, United Kingdom
I
3-Year Postdoc: Stochastic Analysis & Quantum Field Modeling
🏢 Institute of Mathematics and its Applications
📍 Oxford, England, United-Kingdom
T
Senior Manufacturing Engineer
🏢 TEC Partners
📍 Oxford, England, United Kingdom
T
Senior Manufacturing Engineer
🏢 TEC Partners
📍 Oxford, England, United Kingdom
L
Electronics Design Engineer – Robotics & Vision (Onsite, Oxford)
🏢 Laboris Solutions
📍 Oxford, England, United-Kingdom
S
Founding Sales Engineer
🏢 Scout Global
📍 oxford district, oxford district, United-Kingdom
A
Data Scientist (Masters) - AI Data Trainer
🏢 Alignerr
📍 Oxford, England, United-Kingdom
H
Artificial Intelligence Engineer
🏢 Harnham
📍 oxford district, oxford district, United-Kingdom
T
Senior Manufacturing Engineer
🏢 TEC Partners - Technical Recruitment Specialists
📍 Oxford, England, United-Kingdom
A
Cyber Security Consultant
🏢 Alexander Daniels Global
📍 oxford district, oxford district, United-Kingdom
M
LKS2 Teacher - Oxford - January 2026
🏢 Marchant Recruitment
📍 Oxford, England, United-Kingdom
I
Postdoctoral Research Associate in Operator Algebras
🏢 Institute of Mathematics and its Applications
📍 Oxford, England, United-Kingdom
I
Postdoctoral Research Associate in Geometry Group Theory
🏢 Institute of Mathematics and its Applications
📍 Oxford, England, United-Kingdom
M
LKS2 Teacher - Oxford - January 2026
🏢 Marchant Recruitment
📍 Oxford, England, United Kingdom
M
LKS2 Teacher - Oxford - January 2026
🏢 Marchant Recruitment
📍 Oxford, England, United Kingdom
I
Postdoctoral Research Associate in Stochastic Analysis
🏢 Institute of Mathematics and its Applications
📍 Oxford, England, United-Kingdom
M
Prompt Engineer
🏢 Morson Edge
📍 oxford district, oxford district, United-Kingdom
A
Data Science Expert - AI Content Specialist
🏢 Alignerr Corp.
📍 Oxford, England, United-Kingdom
I
Titchmarsh Research Fellowship & Glasstone Research Fellowship
🏢 Institute of Mathematics and its Applications
📍 Oxford, England, United-Kingdom
T
Personal Development Marketing Specialist
🏢 Time To Shine Sandra Wallis
📍 Oxford, England, United Kingdom
T
Personal Development Marketing Specialist
🏢 Time To Shine Sandra Wallis
📍 Oxford, England, United Kingdom