Sr. Applied Scientist, Agentic Automated Reasoning Group
Listed on 2026-05-21
-
IT/Tech
Data Scientist, AI Engineer, Machine Learning/ ML Engineer
About the Agentic Automated Reasoning Group
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 a part of this transformational endeavor.
Key Job Responsibilities- End‑to‑end technical leadership for delivering AR solutions working backwards from customer use cases.
- Identify tools and methods capable of addressing the verification needs of customers, including any novel analysis capabilities required.
- Use tools spanning from fuzzers, 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.
You will be working with a team of formal verification specialists—recently hired PhDs to industry veterans. You will collaborate to deliver results in the form of verified code and tools to accelerate code verification for our customer teams.
Basic Qualifications- PhD, or Master's degree and 7+ years of applied research experience
- PhD in operations research, applied mathematics, theoretical computer science, or equivalent
- Experience in patents or publications at top‑tier peer‑reviewed conferences or journals
- Experience in formal verification, program analysis, constraint‑solving, or theorem proving (academic or professional work)
- Experience in professional software development
- Experience with interactive theorem provers, particularly Lean or Rocq
- 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.
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.
USA, MA, Boston – $ – $ USD annually
USA, OR, Portland – $ – $ USD annually
USA, TX, Austin – $ – $ USD annually
Job : A
#J-18808-Ljbffr(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).