Lean 4 Proof Engineer Mathematical Formalization 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

Full-time Engineering
View Position Details

Lean 4 Proof Engineer - Mathematical Formalization

🏢 Alignerr · 📍 Cambridge, England, United-Kingdom

Full-time Engineering
View Position Details

Formal Verification Scientist (Lean 4 & Mathlib)

🏢 Alignerr · 📍 Cambridge, England, United-Kingdom

Full-time Other
View Position Details

Lean 4 Formal Verification Scientist

🏢 Alignerr · 📍 Cambridge, England, United-Kingdom

Full-time Other
View Position Details

RF Algorithm Engineer

🏢 SoCode Recruitment · 📍 cambridge, cambridge, United-Kingdom

Full-time Other-General
View Position Details

CPU Formal Verification Engineer

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

FULL_TIME Engineers
View Position Details

CPU Formal Verification Engineer

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

FULL_TIME Engineers
View Position Details

RF Algorithm Engineer

🏢 SoCode Recruitment · 📍 Cambridge, England, United-Kingdom

Full-time Technology,-Information-and-Media
View Position Details

Fiber Engineer

🏢 Smart City Recruiters · 📍 cambridge, cambridge, United-Kingdom

Full-time Other-General
View Position Details

Senior MLE - Blockchain AI

🏢 Harnham · 📍 cambridge, cambridge, United-Kingdom

Full-time Other-General
View Position Details