Sr. Applied Scientist, Agentic Automated Reasoning Group

Amazon • Portland, OR • 4h ago

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 a Sr. Applied Scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification 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

End-to-end technical leadership for delivering AR solutions working backwards 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.

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.

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)

Preferred Qualifications

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

The base salary range for this position is listed below. Your Amazon package will include sign-on payments and restricted stock units (RSUs). Final compensation will be determined based on factors including experience, qualifications, and location. Amazon also offers comprehensive benefits including health insurance (medical, dental, vision, prescription, Basic Life & AD&D insurance and option for Supplemental life plans, EAP, Mental Health Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy Reimbursement coverage), 401(k) matching, paid time off, and parental leave. Learn more about our benefits at https://amazon.jobs/en/benefits .

USA, MA, Boston - 167,100.00 - 226,100.00 USD annually

USA, OR, Portland - 167,100.00 - 226,100.00 USD annually

USA, TX, Austin - 167,100.00 - 226,100.00 USD annually

Amazon

Go to Apply

Share this job

Similar Jobs

Crew

Trader Joe's • Hillsboro, OR • 45min ago

Crew Location: 149 - 2285 NW 185th Avenue Job Location City Hillsboro Job Location State Oregon Job Location Zip Code 97124 Job Type: Crew Starting Pay Rate: $17.00 - $19.00 / hour Hours: Up to 38 Desired Shifts: MondayT...

45min ago

Go to Apply

Outside Sales Representative

UniFirst • Portland, OR • 4h ago

Sales & Marketing

Outside Sales Representative Portland, Oregon Job ID: 2602319 Overview This is not just another "Sales Job." It's the start of your new Sales Career! Full-Time Travel: Local Perks Medical Insurance Dental & Vision Un...

4h ago

Go to Apply

Full Time - Sales Associate - Electrical & Lighting - Day

Lowe's • Hillsboro, OR • 7h ago

Sales & Marketing

Your Impact at Lowe's As a Customer Service Associate, you combine top-notch customer service skills with genuine care for people to help customers feel comfortable while shopping at Lowe's. This is an excellent role for...

7h ago

Go to Apply

Electrical Assembly II - 1st Shift

RTX Corporation • Wilsonville, OR • 7h ago

IT & Engineering

Date Posted: 2026-05-15 Country: United States of America Location: US-OR-WILSONVILLE-594 ~ 27300 SW Parkway Ave ~ BLDG 594 Position Role Type: Onsite U.S. Citizen, U.S. Person, or Immigration Status Requirements: This j...

7h ago

Go to Apply

Electrical Assembly I - 1st Shift

RTX Corporation • Wilsonville, OR • 7h ago

IT & Engineering

7h ago

Go to Apply

Manufacturing Engineer

Align Percision • North Plains, OR • 10h ago

IT & Engineering

Position Summary: Conceives, investigates, evaluates, and makes recommendations for new equipment, tooling and processes to improve safety, reliability, capacity and reduce costs. Performs complex analysis, design, and/o...

10h ago

Go to Apply

Security Officer Customer Service Patrol

Allied Universal • Portland, OR • 16h ago

Management & Administrative

Allied Universal®, North America's leading security and facility services company, offers rewarding careers that provide you a sense of purpose. While working in a dynamic, welcoming, and collaborative workplace, you wil...

16h ago

Go to Apply

MFG INFORMATION TECHNOLOGIST

Kroger Family of Companies • Portland, OR • 16h ago

IT & Engineering

Position Summary: Provide assistance, knowledge and technical support to management and end-users. Work with plant and corporate teams to determine mutual Information Technology (IT) objectives. Perform all jobs safely,...

16h ago

Go to Apply

Territory Manager, Roofing and Waterproofing

ICP Group • Portland, OR • 17h ago

Management & Administrative

Innovative Chemical Products Group (ICP Group) is a leading formulator and manufacturer of specialty coatings, adhesives, and sealants serving the construction and industrial end markets. ICP Group is comprised of leadin...

17h ago

Go to Apply

Part Sales Manager - Full Time

AutoZone, Inc. • Canby, OR • 17h ago

Management & Administrative

Job Description AutoZone's Store Management team drives store performance, fosters a productive team, and ensures exceptional customer service. Managers and MITs play a key leadership role, expected to Live The Pledge an...

17h ago

Go to Apply

Subscribe to get new jobs sent directly to you
(no charge, cancel anytime)