Remote Lean 4 Proof Engineer Formalize Advanced Math Jobs in Cambridge
ethical AI opportunities in United Kingdom
Ethical AI Jobs Found
Remote Lean 4 Proof Engineer: Formalize Advanced Math
🏢 Alignerr · 📍 Cambridge, England, United-Kingdom
Lean 4 Proof Engineer - Mathematical Formalization
🏢 Alignerr · 📍 Cambridge, England, United-Kingdom
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr · 📍 Cambridge, England, United-Kingdom
Lean 4 Formal Verification Scientist
🏢 Alignerr · 📍 Cambridge, England, United-Kingdom
Fiber Engineer
🏢 Smart City Recruiters · 📍 cambridge, cambridge, United-Kingdom
Senior / Staff Formal Verification Engineer - GPU
🏢 European Tech Recruit · 📍 cambridge, cambridge, United-Kingdom
Family Pilot: Math! Everywhere App (Ages 4-10) - MathBuck$
🏢 Find It Cambridge · 📍 Cambridge, England, United-Kingdom
MathBuck$ Pilot for Families
🏢 Find It Cambridge · 📍 Cambridge, England, United-Kingdom
Senior Design Verification Engineer - CPU / SoC
🏢 European Tech Recruit · 📍 cambridge, cambridge, United-Kingdom
RF Algorithm Engineer
🏢 SoCode Recruitment · 📍 cambridge, cambridge, United-Kingdom
FPGA Engineer
🏢 TEC Partners - Technical Recruitment Specialists · 📍 cambridge, cambridge, United-Kingdom
Python Software Engineer
🏢 IC Resources · 📍 cambridge, cambridge, United-Kingdom
Senior / Staff Formal Verification Engineer - GPU
🏢 European Tech Recruit · 📍 Cambridge, England, United-Kingdom
Senior / Staff Formal Verification Engineer - GPU
🏢 European Tech Recruit · 📍 Cambridge, England, United-Kingdom
Embedded Software Engineer
🏢 TEC Partners - Technical Recruitment Specialists · 📍 cambridge, cambridge, United-Kingdom
Senior / Staff Formal Verification Engineer - GPU
🏢 European Tech Recruit · 📍 Cambridge, Eastern, United-Kingdom
Full Stack Developer
🏢 SISU Health UK · 📍 cambridge, cambridge, United-Kingdom
Machine Learning Engineer
🏢 trg.recruitment · 📍 cambridge, cambridge, United-Kingdom