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.

Boston Consulting Group★4.2 (537)· London

You'll develop testing and evaluation frameworks for generative AI and AI products using Python, PyTorch, and TensorFlow, ensuring they meet responsible AI standards for safety, security, and equity. The Responsible AI team at BCG X—a 3,000-person tech organization within the consulting firm—supports product teams across industries in building trustworthy AI systems throughout the software development lifecycle. The role requires 3-5+ years in responsible AI, 3+ years with generative AI models, and program/project management experience.