Only AI Jobs


Applied Scientist, Agentic Automated Reasoning

ID: 7177

Type: Full-time

Category: Others

Company Name: Amazon Development Centre (London) Limited

Location: GBR, London - London - United Kingdom

Visit company vacancy
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 (https://github.com/strata-org) 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. https://aws.amazon.com/security/provable-security/

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

- 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 related language
- Experience in any of the following areas: algorithms and data structures, parsing, numerical optimization, 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 (https://www.amazon.jobs/en/privacy_page) 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 https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you’re applying in isn’t listed, please contact your Recruiting Partner.

Company Information

Company Name: Amazon Development Centre (London) Limited

Company Website: https://www.amazon.co.uk/

Company Address: GBR, London

Amazon Development Centre (London) Limited is a UK-registered subsidiary and local development organization within the global Amazon group, established to provide engineering, product development and research capabilities for Amazon’s consumer, retail and cloud technology platforms. As a named “development centre,” the entity is configured to recruit and host multidisciplinary technical teams in London and to operate as a focussed engineering hub that contributes software, services and research outputs used across Amazon’s family of products. The legal name denotes its role as an operational UK company within Amazon’s broader corporate structure charged with creating, testing and maintaining software and systems for Amazon businesses. Overview and organizational role Amazon Development Centre (London) Limited functions as a centre of technical excellence and product engineering embedded in Amazon’s distributed global development footprint. The organisation brings together software engineers, data scientists, machine learning and research specialists, product managers, designers and operations staff. Its charter is to develop, localize and support software services and features that integrate with Amazon’s online retail services, subscription products (for example Prime), voice and digital assistants (for example Alexa-related functionality), and cloud-based capabilities where applicable. The centre operates in close coordination with other Amazon engineering and product teams worldwide, contributing code, design, experimentation, and operational support to Amazon’s consumer-facing and enterprise platforms. Core business activities Amazon Development Centre (London) Limited’s primary activities are centred on software and systems development, research and feature development for Amazon’s technology products. Typical activities include: - Designing, implementing and operating scalable backend services that support Amazon’s e-commerce platform, customer-facing applications and associated merchant and seller tools. - Building software for latency-sensitive, high-availability systems, encompassing API development, data pipelines and microservice architectures. - Conducting applied research and development in machine learning, natural language processing, recommendation systems and computer vision to improve personalization, search relevance and automated decision-making across Amazon products. - Providing engineering support and feature development for Amazon’s cloud services (AWS) where integration with consumer services or localised solutions is required. - Developing mobile and web client applications or components used by customers and partners in the UK and other markets. - Collaborating on product localization, regulatory compliance, data protection and privacy engineering required for services operating under UK and EU law. - Running experimentation, A/B testing and analytics to measure product performance and customer experience improvements. Main products and services Rather than producing standalone, branded consumer products under its own name, Amazon Development Centre (London) Limited contributes to Amazon’s portfolio by delivering software components, services and engineering innovations that are incorporated into Amazon-branded products and platforms. Key contributions typically include: - Backend services and APIs that enable features on Amazon retail websites and apps (search, browse, checkout, recommendations, shipping and fulfillment interfaces). - Machine learning models and data services that power personalization, product recommendations, fraud detection and demand forecasting. - Features and integrations for voice and assistant experiences (including localized adaptations for language and market-specific behavior) where applicable. - Tools and systems to improve seller and vendor experiences on Amazon’s marketplace, including analytics dashboards and inventory or pricing automation. - Software engineering work that supports operational systems such as content ingestion, catalog management and customer support tooling. - Prototypes, research outputs and experimental features that are iterated on and, when successful, scaled via Amazon’s global engineering channels. Market position and relationships As part of Amazon, the London Development Centre benefits from and contributes to one of the largest technology platforms in the world. It functions as a regional R&D hub within Amazon’s global engineering organisation: ideas, code and services developed in London are often integrated into broader Amazon offerings and delivered to customers internationally. The centre typically collaborates with other Amazon development centres, product teams and AWS specialists. It also engages with the local technology ecosystem — hiring graduates and experienced engineers, partnering with universities and participating in community events and developer outreach common for Amazon engineering sites. Corporate context and mission alignment Amazon Development Centre (London) Limited operates under Amazon’s corporate mission and principles, which emphasise customer-centric design, long-term thinking and operational excellence. Amazon’s stated mission, as expressed across its public corporate communications, is to be “Earth’s most customer-centric company,” and the London development centre’s activities align with that mission by focusing on improving customer experience through software innovation and reliable services. The centre also follows Amazon’s operational practices and leadership principles governing product development, security, data protection and compliance with applicable UK and EU regulations. Employment and recruitment The development centre serves as an employer of technical and non-technical staff in the London area, recruiting across roles such as software development engineers, data scientists, machine learning engineers, product managers, UX designers, program managers and IT operations personnel. Recruitment often takes place through Amazon’s public careers portal and local hiring initiatives; the teams typically work in agile, cross-functional groups and may be involved in both greenfield projects and ongoing platform maintenance. Regulatory and operational notes As a registered UK entity, Amazon Development Centre (London) Limited operates within UK company law and privacy/data protection frameworks. Its engineering outputs are subject to Amazon’s internal security, compliance and quality assurance standards, and products that touch customer data are developed with privacy and regulatory considerations in mind. Summary In summary, Amazon Development Centre (London) Limited is a UK-based engineering and research subsidiary of Amazon focused on delivering software, services and machine learning-driven features that feed into Amazon’s consumer and cloud offerings. It functions as a technical hub in London that supports product development, experimentation and operations for Amazon’s global platforms while operating within the regulatory and commercial context of the UK market.
Visit company vacancy