Overview
Research Engineer advancing AI-based theorem proving with Lean 4, developing novel approaches to verify software and hardware properties, and collaborating with AI researchers to train systems that reliably check safety-critical systems in aerospace, automotive, and cryptography.
Key Information
- Locations
-
🇬🇧 🇺🇸
London, England, UK | Palo Alto, CA, USA
- Remote Friendly
- No
- Languages
- Lean4