Lean 4 Proof Engineer Mathematical Formalization Jobs in Manchester

AI opportunities in United Kingdom

Jobs Found

Remote Lean 4 Proof Engineer: Formalize Advanced Math

🏢 Alignerr 📍 Manchester, England, United-Kingdom
Full-time Engineering
View Opening Details

Lean 4 Proof Engineer - Mathematical Formalization

🏢 Alignerr 📍 Manchester, England, United-Kingdom
Full-time Engineering
View Opening Details

Formal Verification Scientist (Lean 4 & Mathlib)

🏢 Alignerr 📍 Manchester, England, United-Kingdom
Full-time Other
View Opening Details

Lean 4 Formal Verification Scientist

🏢 Alignerr 📍 Manchester, England, United-Kingdom
Full-time Other
View Opening Details

National Key Account Lead - Equipment Rentals Growth

🏢 Vp plc 📍 Manchester, England, United-Kingdom
Full-time Sales
View Opening Details

Manufacturing Engineer

🏢 Technical Placements Ltd 📍 Heaton Chapel, Greater Manchester, United Kingdom
Full-time architecture-and-engineering
View Opening Details

Principal Fire Engineer - Strategy & Fire Safety Leader

🏢 Bowerford Associates Limited 📍 Manchester, England, United-Kingdom
Full-time Engineering
View Opening Details

Rapid-Capability Software Engineer (C++, Java) Onsite

🏢 ALTEN 📍 Manchester, England, United-Kingdom
Full-time IT-&-Technology
View Opening Details

C++ Algorithms Engineer - Autonomous Underwater Systems

🏢 ALTEN 📍 Manchester, England, United-Kingdom
Full-time Engineering
View Opening Details

Electrically Biased Engineer

🏢 ETS Consulting Ltd 📍 Manchester, Greater Manchester, United Kingdom
Full-time architecture-and-engineering
View Opening Details

Senior Signal Processing Software Engineer - C++/Linux

🏢 Groupe SII 📍 Manchester, England, United-Kingdom
Full-time IT-&-Technology
View Opening Details

Multi Skilled Maintenance Engineer

🏢 The Recruitment Fix 📍 Wythenshawe, Greater Manchester, United Kingdom
Full-time architecture-and-engineering
View Opening Details

Engineering Shift Technician

🏢 ETS Consulting Ltd 📍 Stockport, Greater Manchester, United Kingdom
Full-time architecture-and-engineering
View Opening Details

Manufacturing Engineer - Heavy Fabrication

🏢 Recruit Engineering 📍 Stockport, Greater Manchester, United Kingdom
Full-time other-general
View Opening Details

Research Associate Mathematical Biomedicine

🏢 The University of Manchester 📍 Manchester, England, United Kingdom
Full-time Life-Scientists
View Opening Details

Research Associate Mathematical Biomedicine

🏢 The University of Manchester 📍 Manchester, England, United Kingdom
Full-time Life-Scientists
View Opening Details

Junior Costings Engineer

🏢 Ambitek Limited 📍 Irlam, Greater Manchester, United Kingdom
Full-time architecture-and-engineering
View Opening Details

Mechanical Production Engineer

🏢 Distinct Consultancy 📍 Audenshaw, Greater Manchester, United Kingdom
Full-time architecture-and-engineering
View Opening Details

Ai Engineer Placement Programme

🏢 Career Change 📍 Manchester, Greater Manchester, United Kingdom
Full-time computer-and-mathematical
View Opening Details