Remote Lean 4 Formal Verification Scientist Jobs in Manchester
ethical AI opportunities in United Kingdom
Jobs Found
A
Remote Lean 4 Formal Verification Scientist
🏢 Alignerr
📍 Manchester, England, United-Kingdom
A
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 Manchester, England, United-Kingdom
A
Lean 4 Proof Engineer - Mathematical Formalization
🏢 Alignerr
📍 Manchester, England, United-Kingdom
A
Lean 4 Proof Engineer - Mathematical Formalization
🏢 Alignerr
📍 Manchester, England, United-Kingdom
A
Remote Lean 4 Proof Engineer: Mathematical Formalization
🏢 Alignerr
📍 Manchester, England, United-Kingdom
A
Remote Lean 4 Proof Engineer: Mathematical Formalization
🏢 Alignerr
📍 Manchester, England, United-Kingdom
G
Junior CPU Formal Verification Engineer, Google Cloud
🏢 Google
📍 Manchester, England, United-Kingdom
A
Principal Verification Engineer (ISP, Display, Video)
🏢 Arm
📍 Manchester, England, United-Kingdom