Sr. Applied Scientist, Agentic Automated Reasoning Group

Amazon • Boston, MA • 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

Senior Living Physical Therapist

UnitedHealth Group • Framingham, MA • 1h ago

Hospital & Medical

Requisition number: 2363901 Job category: Healthcare Delivery, Rehabilitation Services Explore opportunities with LHC Group, a leading post-acute care partner for hospitals, physicians and families nationwide. As members...

1h ago

Go to Apply

Scientist III - Open Access Instrumentation Support - FSP

Parexel • Boston, MA • 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

Applied Scientist, Artificial General Intelligence - Data Services

Amazon • Boston, MA • 4h ago

Management & Administrative

Description AI is the most transformational technology of our time, capable of tackling some of humanity's most challenging problems. That is why Amazon is investing in generative AI (GenAI) and the responsible developme...

4h ago

Go to Apply

Sales Executive I, Direct New Sales

Blue Cross Blue Shield of Massachusetts • Hingham, MA • 5h ago

Sales & Marketing

Ready to help us transform healthcare? Bring your true colors to blue. Job Description What we need: The Sales Executive is responsible for selling, marketing, and retaining the BCBSMA Medicare product portfolio on a dir...

5h ago

Go to Apply

Inside Sales Representative

Arrow Electronics • Peabody, MA • 5h ago

Sales & Marketing

Position: Inside Sales Representative Job Description: Arrow Electronics is a global provider of products, services, and solutions to industrial and commercial users of electronic components and enterprise computing solu...

5h ago

Go to Apply

Line Cook - Marriott Quincy

Crescent Hotels and Resorts • Quincy, MA • 5h ago

Retail & Hospitality

Rate: $22 USD per hour Pay or shift range: $22 USD to $24 USD The estimated range is the budgeted amount for this position. Final offers are based on various factors, including skill set, experience, location, qualificat...

5h ago

Go to Apply

Audiologist - Atrius Health

UnitedHealth Group • Burlington, MA • 7h ago

Hospital & Medical

Requisition number: 2337139 Job category: Healthcare Delivery, Rehabilitation Services Explore opportunities at Atrius Health, part of the Optum family of businesses. We're an innovative health care leader and multi-spec...

7h ago

Go to Apply

Audiologist - Atrius Health

UnitedHealth Group • Dedham, MA • 7h ago

Hospital & Medical

7h ago

Go to Apply

Associate Patient Care Coordinator

UnitedHealth Group • Somerville, MA • 7h ago

Hospital & Medical

Requisition number: 2361864 Job category: Healthcare Delivery, Patient Services Optum is a global organization that delivers care, aided by technology, to help millions of people live healthier lives. The work you do wit...

7h ago

Go to Apply

Senior Software Engineer, Full Stack

Capital One • Boston, MA • 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

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