Applied Scientist, Agentic Automated Reasoning Group

About the role

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.

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 tools spanning from fuzzers 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

You will be working with a team of formal verification specialists spanning recently hired PhDs to industry veterans. You will work collaboratively to deliver results in the form of verified code and tools to accelerate code verification for our customer teams.

Why AWS?

Amazon Web Services (AWS) is the world’s most comprehensive and broadly adopted cloud platform. We pioneered cloud computing and never stopped innovating — that’s why customers from the most successful startups to Global 500 companies trust our robust suite of products and services to power their businesses.

Inclusive Team Culture

We are committed to fostering a diverse and inclusive environment where everyone feels valued and respected. Our employee-led affinity groups provide opportunities for growth and connection, and we encourage open dialogue and continuous learning.

Mentorship & Career Growth

We believe in investing in our people to help them grow and succeed. We offer mentorship programs, training opportunities, and a variety of career advancement resources to help you reach your full potential.

Work/Life Balance

We believe that work-life balance is essential for long-term success. We offer flexible work arrangements, including a hybrid model, to help you find the right balance between your professional and personal life.

Hybrid Work

We value innovation and recognize that sometimes uninterrupted time is needed to focus on a project. Our hybrid work model allows employees to choose between working from the office every day or in a flexible, hybrid arrangement near one of our U.S. Amazon offices.

Basic Qualifications

• PhD, or Master's degree and 5+ years of CS, CE, ML or related field experience
• 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 using Unix/Linux
• Experience in professional software development
• Experience with interactive theorem provers, particularly Lean or Coq
• Knowledge of one or more methods of defining semantics: operational, denotational, axiomatic, etc.
• Experience with automated software analysis techniques: abstract interpretation, data flow, model checking, etc.
• Experience applying machine learning and generative AI tools.