Amazon★3.5 (56k)· London

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.

Amazon★3.5 (56k)· London

Develops personalised recommendations using Java, C++, Python, neural deep learning, and tools like TensorFlow, Spark, and MLLib. The Prime Video Insights team builds observability features that reduce customer-impact time, consuming petabytes of data daily for internal builders.