Lean 4 Proof Engineer Mathematical Formalization Jobs in United Kingdom

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

Remote Lean 4 Proof Engineer: Formalize Advanced Math

🏢 Alignerr · 📍 Manchester, England, United-Kingdom

Full-time Engineering

Remote Lean 4 Proof Engineer: Formalize Advanced Math

🏢 Alignerr · 📍 Oxford, England, United-Kingdom

Full-time Engineering

Remote Lean 4 Proof Engineer: Formalize Advanced Math

🏢 Alignerr · 📍 Cambridge, England, United-Kingdom

Full-time Engineering

Lean 4 Proof Engineer - Mathematical Formalization

🏢 Alignerr · 📍 Oxford, England, United-Kingdom

Full-time Engineering

Lean 4 Proof Engineer - Mathematical Formalization

🏢 Alignerr · 📍 Glasgow, Scotland, United-Kingdom

Full-time Engineering

Lean 4 Proof Engineer - Mathematical Formalization

🏢 Alignerr · 📍 Glasgow, Scotland, United-Kingdom

Full-time Engineering

Lean 4 Proof Engineer - Mathematical Formalization

🏢 Alignerr · 📍 Manchester, England, United-Kingdom

Full-time Engineering

Lean 4 Proof Engineer - Mathematical Formalization

🏢 Alignerr · 📍 Cambridge, England, United-Kingdom

Full-time Engineering

Mathematical Formalization Specialist

🏢 Alignerr · 📍 greater london, England, United-Kingdom

Full-time IT-&-Technology

Formal Verification Scientist (Lean 4 & Mathlib)

🏢 Alignerr · 📍 birmingham, England, United-Kingdom

Full-time Other

Formal Verification Scientist (Lean 4 & Mathlib)

🏢 Alignerr · 📍 Manchester, England, United-Kingdom

Full-time Other

Formal Verification Scientist (Lean 4 & Mathlib)

🏢 Alignerr · 📍 Glasgow, Scotland, United-Kingdom

Full-time Other

Formal Verification Scientist (Lean 4 & Mathlib)

🏢 Alignerr · 📍 birmingham, England, United-Kingdom

Full-time Other

Formal Verification Scientist (Lean 4 & Mathlib)

🏢 Alignerr · 📍 City of Edinburgh, Scotland, United-Kingdom

Full-time Other

Lean Proof Architect: Formalize Advanced Math

🏢 Alignerr · 📍 greater london, England, United-Kingdom

Full-time IT-&-Technology

Remote Lean 4 Proof Engineer: Formalize Advanced Math

🏢 Alignerr · 📍 Glasgow, Scotland, United-Kingdom

Full-time Engineering

Lean 4 Formal Verification Scientist

🏢 Alignerr · 📍 Cambridge, England, United-Kingdom

Full-time Other

Lean 4 Formal Verification Scientist

🏢 Alignerr · 📍 greater london, England, United-Kingdom

Full-time Other

Lean 4 Formal Verification Scientist

🏢 Alignerr · 📍 Glasgow, Scotland, United-Kingdom

Full-time Other

Lean 4 Formal Verification Scientist

🏢 Alignerr · 📍 Oxford, England, United-Kingdom

Full-time Other

Lean 4 Formal Verification Scientist

🏢 Alignerr · 📍 Manchester, England, United-Kingdom

Full-time Other

Mathematician | $140/hr Remote

🏢 Crossing Hurdles · 📍 United Kingdom, , , United Kingdom, United-Kingdom

Full-time Other

Continuous Improvement Engineer

🏢 Recruit4staff · 📍 United Kingdom, England, United Kingdom

Full-time Engineers

Continuous Improvement Engineer

🏢 Recruit4staff · 📍 United Kingdom, England, United Kingdom

Full-time Engineers

Senior Manufacturing Engineer

🏢 TXM Recruit · 📍 England, United Kingdom, England, United-Kingdom

Full-time Engineering

Senior Staff Engineer, Business Transformation(CI)

🏢 Stryker · 📍 Belfast, United Kingdom, United Kingdom

Full-time other-general

Senior MLE - Blockchain AI

🏢 Harnham · 📍 United-Kingdom, United-Kingdom, United-Kingdom

Full-time Banking-and-Financial-Services

Senior Manufacturing Engineer | 4-Day Week | SC Cleared

🏢 TXM Recruit · 📍 England, United Kingdom, England, United-Kingdom

Full-time Engineering

Quantitative Developer - Powering systematic trading in a global Hedge Fund

🏢 Saragossa · 📍 greater london, England, United-Kingdom

Full-time Finance,-IT-&-Technology

Multi Skilled Engineer

🏢 ETS Consulting Ltd · 📍 Wrexham, Clwyd, United Kingdom

Full-time architecture-and-engineering

Multi Skilled Engineer

🏢 ETS Consulting Ltd · 📍 Wrexham, Clwyd, United Kingdom

Full-time architecture-and-engineering

AI Performance Engineer: Modeling & GPU Optimization

🏢 CommonAI CIC · 📍 United Kingdom, , , United Kingdom, United-Kingdom

Full-time Engineering

VP - Platform Engineer

🏢 Selby Jennings · 📍 England, United Kingdom, England, United-Kingdom

Full-time IT-&-Technology

Principal Engineer

🏢 Advanced Energy · 📍 Littlehampton, United Kingdom, United Kingdom

Full-time other-general

CPU Formal Verification Engineer

🏢 Advanced Micro Devices, Inc · 📍 Cambridge, England, United Kingdom

FULL_TIME Engineers

CPU Formal Verification Engineer

🏢 Advanced Micro Devices, Inc · 📍 Cambridge, England, United Kingdom

FULL_TIME Engineers

Customer Proof of Concepts Engineer

🏢 Cisco · 📍 Feltham, United Kingdom, United Kingdom

Full-time other-general

RF Algorithm Engineer

🏢 SoCode Limited · 📍 Teversham, Cambridgeshire, United Kingdom

Full-time architecture-and-engineering

Software Modelling Engineer

🏢 Technical Futures Ltd · 📍 United Kingdom, , , United Kingdom, United-Kingdom

Full-time IT-&-Technology

National Key Account Lead - Equipment Rentals Growth

🏢 Vp plc · 📍 Manchester, England, United-Kingdom

Full-time Sales

Senior Production Engineer

🏢 Kaminskyconsulting · 📍 United Kingdom, , , United Kingdom, United-Kingdom

Full-time Engineering

Continuous Improvement Engineer

🏢 Pioneer Selection Ltd · 📍 Wales, United Kingdom, Wales, United-Kingdom

Full-time Engineering

Manufacturing Engineer

🏢 Searchability NS&D · 📍 England, United Kingdom, England, United-Kingdom

Full-time Engineering

Lean Manufacturing Engineer - Continuous Improvement Leader

🏢 Sanderson Government & Defence · 📍 England, United Kingdom, England, United-Kingdom

Full-time Engineering

SUPERVISORY GENERAL ENGINEER

🏢 U.S. Air Forces, Europe · 📍 Fairford, United Kingdom, United Kingdom

Full-time other-general

Senior Industrial Engineer

🏢 Prattwhitney · 📍 Livingston, Scotland, United-Kingdom

Full-time Engineering

Senior Supply Chain Engineer

🏢 Kohler Co. · 📍 CHELTENHAM, United Kingdom, United Kingdom

Full-time other-general

Continuous Improvement Engineer - OEE, SMED

🏢 Nicholson Hird · 📍 Wales, United Kingdom, Wales, United-Kingdom

Full-time Engineering