Sr. Applied Scientist, Agentic Automated Reasoning Group

Amazon • Austin, TX • 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

Head of Schwab Asset Management Operations Technology

Charles Schwab • Austin, TX • 3h ago

Management & Administrative

Your opportunity Director, Head of Schwab Asset Management Operations Technology Our Opportunity: At Schwab, you're empowered to make an impact on your career. Here, innovative thought meets creative problem solving, hel...

3h ago

Go to Apply

Scientist I or II - Biologics Downstream Process Development - FSP

Parexel • Austin, TX • 4h ago

We are looking to fill a Scientist 1 or 2 - Biologics Downstream Process Development position working as a full-time employee of Parexel FSP on long-term assignment onsite at one of our clients located in Rahway, NJ . Th...

4h ago

Go to Apply

Scientist III - Open Access Instrumentation Support - FSP

Parexel • Austin, TX • 4h ago

We are looking to fill a Scientist III - Open Access Instrumentation support position working as a full-time employee of Parexel FSP on long-term assignment onsite at one of our clients located in Rahway, NJ . This posit...

4h ago

Go to Apply

Senior Software Engineer, Full Stack

Capital One • Austin, TX • 10h ago

IT & Engineering

Senior Software Engineer, Full Stack Do you love building and pioneering in the technology space? Do you enjoy solving complex business problems in a fast-paced, collaborative, inclusive, and iterative delivery environme...

10h ago

Go to Apply

Sr Lead Software Engineer, Full Stack - Shopping (Remote-Eligible)

Capital One • Austin, TX • 10h ago

IT & Engineering

Sr Lead Software Engineer, Full Stack - Shopping (Remote-Eligible) Do you love building and pioneering in the technology space? Do you enjoy solving complex business problems in a fast-paced, collaborative, inclusive, an...

10h ago

Go to Apply

Senior Lead Software Engineer, Full Stack - Shopping (Remote Eligible)

Capital One • Austin, TX • 10h ago

IT & Engineering

Senior Lead Software Engineer, Full Stack - Shopping (Remote Eligible) Do you love building and pioneering in the technology space? Do you enjoy solving complex business problems in a fast-paced, collaborative, inclusive...

10h ago

Go to Apply

Resource Analyst

Oracle • Austin, TX • 16h ago

Job Description Job Requirements and Key Responsibilities: Partners with Consulting management to maximize revenue opportunities, achieve the highest utilization, and increase customer satisfaction. Responsible for the c...

16h ago

Go to Apply

SAP Datasphere Architect / Data Migration Architect

NTT America, Inc. • Austin, TX • 16h ago

IT & Engineering

NTT DATA strives to hire exceptional, innovative and passionate individuals who want to grow with us. If you want to be part of an inclusive, adaptable, and forward-thinking organization, apply now. We are currently seek...

16h ago

Go to Apply

CLUB Customer Service

Cabela's • Buda, TX • 16h ago

Management & Administrative

POSITION SUMMARY: The CLUB Customer Service Outfitter provides world class customer service for our guests while presenting customers with the benefits of becoming a CLUB Member. The CLUB Outfitter will be the product ex...

16h ago

Go to Apply

S063 Intern Engineering Support - Construction Division

TEXAS DEPARTMENT OF TRANSPORTATION • Austin, TX • 17h ago

Trucking & Construction

Must be enrolled in an engineering or related science degree program in an accredited college or university accepted by TX PELS. Assists in transportation engineering support work such as construction or maintenance insp...

17h ago

Go to Apply

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