Applied Scientist, Agentic Automated Reasoning

Applied Scientist, Agentic Automated Reasoning

Job : | Amazon Development Centre (London) Limited

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 endeavour.

Key job responsibilities

• Work with customer teams to understand the nature of their software and the properties they need to establish about 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 formalise their requirements, find revealing tests, generate required boilerplate 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 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

• PhD, or a Master’s degree and experience in CS, CE, ML or related field research.
• Experience in patents or publications at top‑tier peer‑reviewed conferences or journals.
• Experience programming in Java, C++, Python or a related language.
• Experience in any of the following areas: algorithms and data structures, parsing, numerical optimisation, data mining, parallel and distributed computing, high‑performance computing.
• Experience in formal verification, program analysis, constraint‑solving, or theorem proving (academic or professional work).

Preferred Qualifications

• Experience with model‑checking tools and techniques, SAT/SMT solvers.
• Knowledge of one or more methods of defining semantics: operational, denotational, axiomatic, etc.
• Experience applying machine learning and generative AI tools.

Amazon is an equal opportunities employer. We believe passionately that employing a diverse workforce is central to our success. We make recruiting decisions based on your experience and skills. We value your passion to discover, invent, simplify and build. Protecting your privacy and the security of your data is a longstanding top priority for Amazon. Please consult our Privacy Notice to know more about how we collect, use and transfer the personal data of our candidates.

Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status.

Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process, including support for the interview or onboarding process, please visit (Use the "Apply for this Job" box below). for more information. If the country/region you’re applying in isn’t listed, please contact your Recruiting Partner.

#J-18808-Ljbffr