Lean 4 Proof Engineer Mathematical Formalization Jobs in Glasgow
ethical AI opportunities in United Kingdom
Ethical AI Jobs Found
Remote Lean 4 Proof Engineer: Formalize Advanced Math
🏢 Alignerr · 📍 Glasgow, Scotland, United-Kingdom
Lean 4 Proof Engineer - Mathematical Formalization
🏢 Alignerr · 📍 Glasgow, Scotland, United-Kingdom
Lean 4 Proof Engineer - Mathematical Formalization
🏢 Alignerr · 📍 Glasgow, Scotland, United-Kingdom
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr · 📍 Glasgow, Scotland, United-Kingdom
Remote Lean 4 Proof Engineer: Formalize Advanced Math
🏢 Alignerr · 📍 Glasgow, Scotland, United-Kingdom
Lean 4 Formal Verification Scientist
🏢 Alignerr · 📍 Glasgow, Scotland, United-Kingdom
Lean 4 Formal Verification Scientist
🏢 Alignerr · 📍 Glasgow, Scotland, United-Kingdom
Research Assistant/Associate
🏢 University of Glasgow · 📍 Glasgow, Scotland, United-Kingdom
Research Assistant/Associate
🏢 University of Glasgow · 📍 Glasgow, Scotland, United Kingdom
Research Assistant/Associate
🏢 University of Glasgow · 📍 Glasgow, Scotland, United Kingdom
Ai Engineer Placement Programme
🏢 Career Change · 📍 Glasgow, City of Glasgow, United Kingdom
Manufacturing Engineer - Lean, NPI & Process Improvement
🏢 KBM Resourcing · 📍 Glasgow, Scotland, United-Kingdom
CNC Manufacturing Engineer - Lean Process Design
🏢 Maxwell Consultancy · 📍 Glasgow, Scotland, United-Kingdom
Hybrid QA Engineer for Laser & Optical Systems
🏢 II-VI UK, Ltd. · 📍 Glasgow, Scotland, United-Kingdom