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 deep expertise in the domain. Join us if you want to be part of this transformational endeavour.
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 Infrastructure as Code to high‑performance cryptography written in assembly, while our methods range 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 the 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.
- Identify tools and methods capable of addressing the verification needs of customers, including any novel analysis capabilities required.
- Use techniques spanning property‑based testing, 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 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 modelling tools such as R, scikit‑learn, Spark MLLib, MxNet, Tensorflow, numpy, scipy etc.
- Experience with large‑scale distributed systems such as Hadoop, Spark etc.
Amazon is an equal opportunities employer. We believe passionately that employing a diverse workforce is central to our success. Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status.
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, please visit https://amazon.jobs/content/en/how-we-hire/accommodations for more information.
Company – Amazon Development Centre (London) Limited
Job ID: A10433445
#J-18808-Ljbffr…