Principal Product Manager, AWS Neurosymbolic AI

We are pioneering the integration of formal reasoning and neural approaches to build AI systems that are not only capable, but provably correct. Our mission is to make AI trustworthy at scale by developing technology that enables AI systems to reason rigorously, verify their own outputs, and provide mathematical guarantees about their behavior. This team includes original contributors to the Lean theorem prover and is advised by Lean's Chief Architect, combining researchers and engineers from both the AI and formal methods communities.

We build on Amazon's 10+ year track record of bringing automated reasoning to production at scale, from network reachability analysis to cryptographic protocol verification. Our innovations already power products like Automated Reasoning Checks in Amazon Bedrock Guardrails, policy verification in Amazon Bedrock AgentCore, and intelligent specification workflows in Kiro. We publish at top venues, collaborate with leading academic institutions, and operate with the urgency of a startup inside AWS.

What we're building

We are building a platform that brings the rigor of formal mathematics to AI and software development. Our technology enables developers, AI agents, and autonomous systems to formally verify correctness, enforce guarantees, and establish trust. The core question we're answering: as AI systems become more capable and autonomous, how do you know they did what you asked, correctly, safely, and completely?

Our platform combines neural networks with formal verification engines, enabling capabilities like AI that writes code and proves it's correct, agents that act autonomously while guaranteeing constraints, and systems that reason about their own behavior with mathematical precision. This work has direct visibility to AWS's most senior leaders and serves customers from Fortune 100 enterprises to individual developers building the next generation of autonomous software.

Responsibilities

• Define and own the product vision and roadmap for formal verification and neurosymbolic AI products
• Deeply understand customer problems around AI trust, correctness, and safety
• Translate complex technical capabilities into products that feel simple and inevitable
• Drive prioritization across a portfolio of bets, balancing near-term customer wins with long-term platform investments
• Shape go-to-market strategy with AWS leadership
• Define pricing, packaging, and launch strategy for new capabilities
• Partner with science and engineering to ensure research translates into products customers can use
• Engage directly with customers, from enterprise CISOs to individual developers

About The Team

Who Thrives Here: We're looking for people who defy easy categorization—engineers who think like product managers, scientists who care about shipping, and product leaders who can read a paper and sketch system architecture. The problems we solve require fluid movement between disciplines, and we've built a culture that rewards both breadth and depth.

Inclusive Team Culture: We actively seek diverse perspectives because the intersection of AI and formal reasoning demands it. Whether you're a mathematician who became an engineer or a systems programmer who fell in love with type theory, if your path has been nonlinear, you'll fit right in.

Training & Career Growth: You'll work alongside an industry-leading team defining a new field. We invest in growth through conferences, university collaborations, and space to tackle genuinely hard problems.

Work/Life Balance: Deep thinking requires rest and recovery. Flexible work arrangements are part of our culture, and we trust our team to manage their time and energy.

Why Join Now? The convergence of large language models and formal reasoning is reshaping how software is built, verified, and trusted. This team has the heritage, talent, and backing of AWS to lead it—those who join today will define this field for years to come.

Requirements

Basic Qualifications

• 7+ years of experience as a Technical Product Manager
• 5+ years of technical experience (software development, network development, IT, or related fields)
• Experience delivering large-scale SaaS, PaaS, or IaaS products with full product lifecycle ownership (concept through go-to-market)
• 5+ years of experience with enterprise-scale infrastructure or development-based cloud programs/projects
• Experience working with engineering and product teams to define and bring products to market

Preferred Qualifications

• Master's degree in a technical field or MBA
• Experience with AI/ML technologies
• Experience in formal verification, program analysis, constraint-solving, or theorem proving (academic or professional)
• Experience bringing technology products to market in fast-paced environments
• Experience with pricing and selection strategy
• Experience communicating and presenting to senior leadership

Pay

Base salary ranges:

• New York, NY: $199,200 - $269,500 USD annually
• Seattle, WA: $181,100 - $245,000 USD annually

Your Amazon package will include sign-on payments, restricted stock units (RSUs), and comprehensive benefits such as health insurance (medical, dental, vision, prescription, life/AD&D), 401(k) matching, paid time off, and parental leave. Learn more about our benefits.