Sort every job by how well it fits you — (no sign-up needed).
1 live London tech roles
- Licensed sponsor
You will work with Java, C++, Python, neural deep learning, machine learning, TensorFlow, PyTorch, Spark, and formal methods (model checking, interactive theorem proving, property-based testing). The Agentic Automated Reasoning Group builds next-generation software verification tools combining AI and cloud computing to analyze code—from Infrastructure as Code to assembly—for provable security, availability, and correctness across AWS services.
Posted 28 May 2026 · Added 29 Jun 2026, 09:55
— end of results —