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
I
Postdoctoral Research Associate in Mathematical Physics
🏢 Institute of Mathematics and its Applications
📍 Oxford, England, 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
C
Ai Engineer Placement Programme
🏢 Career Change
📍 Oxford, Oxfordshire, 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
T
Senior Manufacturing Engineer
🏢 TEC Partners - Technical Recruitment Specialists
📍 Oxford, England, 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