Talent.com
Amazon Development Centre (London) Limited
Applied Scientist, Agentic Automated ReasoningAmazon Development Centre (London) Limited • London, England, GBR
Applied Scientist, Agentic Automated Reasoning

Applied Scientist, Agentic Automated Reasoning

Amazon Development Centre (London) Limited • London, England, GBR
30+ days ago
Job type
  • Full-time
Job description
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our deep expertise in the domain. Join us if you want to be a part of this transformational endeavor.

The Strata team ( is seeking an applied scientist with broad interest and expertise in model checking, interactive theorem proving, programming language semantics, and generative AI. You will combine your expertise with that of your coworkers to build new tools that solve code analysis problems previously considered beyond reach. Our application areas span all the way from Infrastructure as Code to high-performance cryptography written in assembly code, while our methods span from interactive theorem proving to automated test generation.

Each day, hundreds of thousands of developers make billions of transactions worldwide on AWS. They harness the power of the cloud to enable innovative applications, websites, and businesses. Using automated reasoning technology and mathematical proofs, AWS allows customers to answer questions about security, availability, durability, and functional correctness. We call this provable security, absolute assurance in security of the cloud and in the cloud.

Key job responsibilities
- Work with customer teams to understand the nature of their software and the properties they need to establish of it.
- Identify tools and methods capable of addressing the verification needs of customers, including any novel analysis capabilities required.
- Use techniques spanning property-based testing to model checkers, and interactive theorem provers to establish program properties.
- Explore generative AI techniques to help customers formalize their requirements, find revealing tests, generate required boiler plate for testing and model checking, and find and repair program proofs.

About the team
The Agentic Automated Reasoning Group at AWS develops and applies state of the art formal methods and automated reasoning techniques to ensure the security, reliability, and correctness of AWS services and customer applications, with a strong focus on AI based agents. Our work innovates tools and services to perform verification at scale and apply them to build safe and secure systems at AWS. We are also pioneering the use of formal verification and automated reasoning to develop agentic systems, ensuring AI agents operate within defined safety boundaries.

BASIC QUALIFICATIONS

- Master's degree
- Experience programming in Java, C++, Python or related language
- Experience with neural deep learning methods and machine learning
- Experience in building machine learning models for business application
- Experience in applied research

PREFERRED QUALIFICATIONS

- Experience with modeling tools such as R, scikit-learn, Spark MLLib, MxNet, Tensorflow, numpy, scipy etc.
- Experience with large scale distributed systems such as Hadoop, Spark etc.

Create a job alert for this search

Applied Scientist, Agentic Automated Reasoning • London, England, GBR

Similar jobs

Remote Applied Scientist, Pricing — Own Impactful Models

AncillaryoffersGreater London, England, GB
Remote
Full-time

Ancillaryoffers in Greater London is seeking a pricing model owner to improve pricing for every ancillary product.You will lead impactful changes from day one and ship features weekly based on cust... Show more

 • Promoted

Founding Applied Scientist

Crane Venture PartnersGreater London, England, GB
Full-time

Build AI systems that learn from experience to move real business metrics.London / Remote | Full-time | Pavo Labs.Pavo is building Enterprise Superintelligence: compounding systems that take owners... Show more

 • Promoted

Applied AI Lead & Senior ML Scientist — Innovate & Deploy

JPMorgan ChaseGreater London, England, United Kingdom
Full-time

Join the Applied Innovation of AI team, a premier machine learning group within the Chief Technology Office of JP Morgan Chase.We tackle crucial business priorities using innovative machine learnin... Show more

 • Promoted

Senior Applied AI Scientist Location: London

Preply Inc.City Of London, England, GB
Full-time

At Preply, we’re all about creating life-changing learning experiences.We help people discover the magic of the perfect tutor, craft a personalized learning journey, and stay motivated to keep grow... Show more

 • Promoted

Lead AI Scientist — LLM Systems & Experimentation

Experimentation JobsGreater London, England, GB
Full-time

Wise is a global technology company building the best way to move and manage the world’s money.The Contact Automation team in London develops an intelligent system to power an automated Wise Assist... Show more

 • Promoted

Applied Scientist

ASOS.comLondon, England, GB
Full-time +1

We’re ASOS, the online retailer for fashion lovers all around the world.We’re ASOS, the online retailer for fashion lovers all around the world.We exist to give our customers the confidence to be w... Show more

 • Promoted

Applied AI Robotics Scientist

Paddington RoboticsGreater London, England, GB
Full-time

A leading robotics firm in Greater London is seeking an AI Research Scientist to develop advanced models and software for applied robotics.The role involves real-world problem-solving and fostering... Show more

 • Promoted

Application Scientist: AI-Driven Molecular Modeling

CuspAIGreater London, England, GB
Full-time

CuspAI in the UK seeks an experienced Application Scientist (Molecular Modelling & Simulation) to bridge computational chemistry with real-world materials problems.You will help customers and inter... Show more

 • Promoted

Senior Research Scientist - Bayesian Optimization / Experimental Design or Causal Machine Learning

Valence LabsGreater London, England, United Kingdom
Full-time

We’re seeking an experienced Research Engineer to shape and lead the development of software and AI systems that will help in our mission of industrializing scientific discovery to radically improv... Show more

 • Promoted

Applied Scientist

MENA AlliancesGreater London, England, GB
Full-time

London, United Kingdom | Posted on 11/25/2024.We're thrilled to present an incredible career opportunity! We're recruiting on behalf of a renowned multinational company based in the United Kingdom,... Show more

 • Promoted

GTM Applied AI Scientist: Pricing & Revenue

TrustpilotGreater London, England, GB
Full-time

Trustpilot is looking for a Data Scientist to join their GTM Applied AI team in Greater London.The candidate will develop, deploy, and maintain AI/ML models focusing on go-to-market efficiency and ... Show more

 • Promoted

Senior Research Scientist - Applied AI Team

Selby JenningsCity Of London, England, GB
Full-time

Senior Research Scientist - Applied AI Team.Our client, a leading hedge fund, is looking for a Senior Applied AI Researcher to join their Applied AI team in London.You will transform how profession... Show more

 • Promoted

AI Discovery Scientist: Algorithmic Architect

Google DeepMindGreater London, England, GB
Full-time

Google DeepMind in Greater London is seeking a Research Scientist to lead efforts in developing algorithmic architectures towards solving Artificial General Intelligence.The role demands strong alg... Show more

 • Promoted

Applied Scientist I

EntrustGreater London, England, GB
Full-time

At Entrust, we’re shaping the future of identity centric security solutions.From our comprehensive portfolio of solutions to our flexible, global workplace, we empower careers, foster collaboration... Show more

 • Promoted

Applied Scientist, Embodied AI for Autonomy

WayveGreater London, England, GB
Full-time

Wayve in London is looking for Applied Scientists to contribute to the development of next-generation AI systems for autonomous driving.The ideal candidates should have experience in machine learni... Show more

 • Promoted

Applied Scientist I

Entrust CorporationGreater London, England, GB
Full-time

We are looking for an Applied Scientist I to design and train cutting‑edge machine learning solutions related to digital identities.The role focuses on deepfake detection, bias mitigation, document... Show more

 • Promoted

Applied Machine Learning/ Scientist

S3 Science RecruitmentGreater London, England, GB
Full-time

London / Flexible (Hybrid or Remote).We are a technology-focused company applying modern machine-learning techniques to problems in molecular science and early-stage drug discovery.Our goal is to t... Show more

 • Promoted

Senior Applied Scientist – Optimization & ML for ATS

WorksHubGreater London, England, GB
Full-time

WorksHub is seeking a Senior Applied Scientist to join their team in London, United Kingdom.The ideal candidate will hold a Master's degree and have experience in programming languages such as Java... Show more

 • Promoted

Applied AI Scientist - Generative Models for Biotech

Latent LabsGreater London, England, GB
Full-time

Member of Technical Staff, Applied AI.We are looking for a Member of Technical Staff with deep expertise in generative modelling to work at the interface between our frontier models and the custome... Show more

 • Promoted

Applied Scientist

SR2 | Socially Responsible Recruitment | Certified B CorporationGreater London, England, GB
Full-time

Staff Applied Scientist (NLP / Machine Learning).London (Hybrid – 2 days onsite).The company develops cutting‑edge platforms that leverage.As the organisation continues to scale its AI capabilities... Show more