Remote Lean 4 Proof Engineer Formalize Advanced Math 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

Full-time Engineering

Lean 4 Proof Engineer - Mathematical Formalization

🏢 Alignerr · 📍 Glasgow, Scotland, United-Kingdom

Full-time Engineering

Formal Verification Scientist (Lean 4 & Mathlib)

🏢 Alignerr · 📍 Glasgow, Scotland, United-Kingdom

Full-time Other

Formal Verification Scientist (Lean 4 & Mathlib)

🏢 Alignerr · 📍 Glasgow, Scotland, United-Kingdom

Full-time Other

Lean 4 Formal Verification Scientist

🏢 Alignerr · 📍 Glasgow, Scotland, United-Kingdom

Full-time Other

Advanced Manufacturing Engineer – Lean & Digital

🏢 Celeros Flow Technology · 📍 Glasgow, Scotland, United-Kingdom

Full-time Engineering

Sales Engineer

🏢 CyberForce Global · 📍 glasgow, glasgow, United-Kingdom

Full-time Other-General

Senior MLE - Blockchain AI

🏢 Harnham · 📍 glasgow, glasgow, United-Kingdom

Full-time Other-General

Hybrid QA Engineer for Laser & Optical Systems

🏢 II-VI UK, Ltd. · 📍 Glasgow, Scotland, United-Kingdom

Full-time Engineering

Lean 4 Formal Verification Scientist

🏢 Alignerr · 📍 Glasgow, Scotland, United-Kingdom

Full-time Other

Technical Director of Architecture (Nuclear Facilities)

🏢 AECOM · 📍 Glasgow, Glasgow, United-Kingdom

Full-time 4

Technical Director of Architecture (Nuclear Facilities)

🏢 AECOM · 📍 Glasgow, Glasgow, United-Kingdom

Full-time 4

Technical Director - Substations UK

🏢 AECOM · 📍 Glasgow, Glasgow, United-Kingdom

Full-time 4

Technical Director - Substations UK

🏢 AECOM · 📍 Glasgow, Glasgow, United-Kingdom

Full-time 4