Lean 4 Proof Engineer Mathematical Formalization Openings in Manchester, United Kingdom

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

Electrically Biased Engineer

🏢 ETS Consulting Ltd 📍 Manchester, Greater Manchester, United Kingdom

Full-time architecture-and-engineering

View Opening Details

C++ Algorithms Engineer - Autonomous Underwater Systems

🏢 ALTEN 📍 Manchester, England, United-Kingdom

Full-time 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

Mechanical Production Engineer

🏢 Distinct Consultancy 📍 Audenshaw, Greater Manchester, United Kingdom

Full-time architecture-and-engineering

View Opening Details

Junior Costings Engineer

🏢 Ambitek Limited 📍 Irlam, Greater Manchester, United Kingdom

Full-time architecture-and-engineering

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

Manufacturing Engineer

🏢 Control Recruitment Solutions Ltd 📍 Ramsbottom, Greater Manchester, United Kingdom

Full-time other-general

View Opening Details

Ai Engineer Placement Programme

🏢 Career Change 📍 Manchester, Greater Manchester, United Kingdom

Full-time computer-and-mathematical

View Opening Details

Ai Engineer Placement Programme

🏢 Career Change 📍 Stockport, Greater Manchester, United Kingdom

Full-time computer-and-mathematical

View Opening Details

Ai Engineer Placement Programme

🏢 Career Change 📍 Sale, Greater Manchester, United Kingdom

Full-time computer-and-mathematical

View Opening Details

Ai Engineer Placement Programme

🏢 Career Change 📍 Oldham, Greater Manchester, United Kingdom

Full-time computer-and-mathematical

View Opening Details

Ai Engineer Placement Programme

🏢 Career Change 📍 Bolton, Greater Manchester, United Kingdom

Full-time computer-and-mathematical

View Opening Details

Ai Engineer Placement Programme

🏢 Career Change 📍 Salford, Greater Manchester, United Kingdom

Full-time computer-and-mathematical

View Opening Details

Ai Engineer Placement Programme

🏢 Career Change 📍 Wigan, Greater Manchester, United Kingdom

Full-time computer-and-mathematical

View Opening Details

Ai Engineer Placement Programme

🏢 Career Change 📍 Rochdale, Greater Manchester, United Kingdom

Full-time computer-and-mathematical

View Opening Details

Senior Platform Engineer

🏢 Anson McCade 📍 Manchester, England, United-Kingdom

Full-time IT-&-Technology

View Opening Details

Quality Engineer

🏢 Morgan Gray 📍 Horwich, Greater Manchester, United Kingdom

Full-time architecture-and-engineering

View Opening Details

Manufacturing Engineer Automation

🏢 Recruit Engineering 📍 Stockport, Greater Manchester, United Kingdom

Full-time other-general

View Opening Details

Senior Manager, Financial Due Diligence — PE Deals

🏢 Walker Lovell 📍 Manchester, England, United-Kingdom

Full-time Finance

View Opening Details

Signal Processing Software Engineer

🏢 Groupe SII 📍 Manchester, England, United-Kingdom

Full-time IT-&-Technology

View Opening Details

Network Security Engineer Placement Programme

🏢 Network Jobs at ITOL Recruit 📍 Manchester, Greater Manchester, United Kingdom

Full-time computer-and-mathematical

View Opening Details

Senior CAD/CAM Design Engineer

🏢 Holt Engineering 📍 Chadderton, Greater Manchester, United Kingdom

Full-time architecture-and-engineering

View Opening Details

Transaction Services (FDD) - Manager / Senior Manager

🏢 Walker Lovell 📍 Manchester, England, United-Kingdom

Full-time Finance

View Opening Details

Project Engineering Manager

🏢 ADR Specialists Ltd 📍 Wigan, Greater Manchester, United Kingdom

Full-time architecture-and-engineering

View Opening Details

Field Service Engineer

🏢 Future Engineering 📍 Manchester, North West, United-Kingdom

Full-time Engineering

View Opening Details

Senior Extrusion Process Engineer

🏢 Sierra 57 Consult Ltd 📍 The Railway Sidings, Greater Manchester, United Kingdom

Full-time architecture-and-engineering

View Opening Details

Manufacturing Engineer

🏢 hays-gcj-v4-pd-online 📍 Manchester, England, United Kingdom

FULL_TIME Engineers

View Opening Details

Senior Technologist - Optical Engineer

🏢 CK Group 📍 Manchester, England, United Kingdom

Full-time Engineers

View Opening Details

Flexographic Printer

🏢 Saica Group 📍 Crooke, Greater Manchester, United Kingdom

Full-time other-general

View Opening Details

Manufacturing Facilities Engineer – Defence Engineering

🏢 Recruit Engineering 📍 Stockport, Greater Manchester, United Kingdom

Full-time other-general

View Opening Details

Trainee Network Engineer Placement Programme

🏢 Network Jobs at ITOL Recruit 📍 Manchester, Greater Manchester, United Kingdom

Full-time computer-and-mathematical

View Opening Details

Principal Engineer

🏢 MRJ Recruitment 📍 Manchester, England, United-Kingdom

Full-time Engineering

View Opening Details

Lean 4 Proof Engineer Mathematical Formalization Jobs in Manchester

Jobs Found