Principal Product Manager, AWS Neurosymbolic AI

The AWS Neurosymbolic AI team is pioneering the integration of formal reasoning and neural approaches to build AI systems that are not only powerful but provably correct. We sit at one of the most compelling frontiers in computer science: the convergence of neural networks and symbolic reasoning where large language models meet theorem provers and where probabilistic intelligence meets mathematical certainty.

Our mission is to make AI trustworthy at scale. We develop technology that enables AI systems to reason rigorously verify their own outputs and provide mathematical guarantees about their behavior. This is a fundamental shift in how AI systems are built and we believe its on the critical path to the next generation of safe reliable AI-powered applications.

We are one of the strongest concentrations of neurosymbolic AI talent in industry. Our team includes original contributors to the Lean theorem prover and is advised by Leans Chief Architect. We bring together researchers and engineers from both the AI and formal methods communities a combination that is extraordinarily rare and increasingly essential.

We build on Amazons 10 year track record of bringing automated reasoning to production at scale. AWS pioneered the use of formal methods in cloud infrastructure from network reachability analysis to cryptographic protocol verification to access policy reasoning systems that serve hundreds of millions of customers today. Now were taking the next giant leap: fusing that heritage with frontier AI to make every AI system verifiable trustworthy and safe. The science innovations developed by this team already power products in customers hands: Automated Reasoning Checks in Amazon Bedrock Guardrails policy verification in Amazon Bedrock AgentCore and intelligent specification testing and correctness workflows in Kiro.

We publish at top venues collaborate with leading academic institutions and operate with the urgency and ownership of a startup inside one of the worlds most impactful technology companies.

If youre excited by the idea of teaching machines to prove not just predict wed love to talk.

What were building

We are building a platform that brings the rigor of formal mathematics to the world of AI and software development. Our technology enables developers AI agents and autonomous systems to formally verify correctness enforce guarantees and establish trust especially as AI-generated code and autonomous agents become the default not the exception.

The core question were answering: as AI systems become more capable and more autonomous how do you know they did what you asked correctly safely and completely Were building the answer using technologies like Lean 4 (the same formal language behind recent breakthroughs in AI mathematical reasoning) combined with state-of-the-art neural approaches.

Our platform combines neural networks with formal verification engines enabling capabilities that neither approach achieves alone: AI that writes code and proves its correct. Agents that act autonomously and guarantee theyll respect constraints. Systems that reason about their own behavior with mathematical precision.

This is early high-impact work with direct visibility to AWSs most senior leaders. The customers youll serve span from Fortune 100 enterprises betting their businesses on AI to the developer communities building the next generation of autonomous software. Youll be shaping products that define how the world builds trustworthy AI for the next decade.




Key job responsibilities
As a Technical Product Manager on the AWS Neurosymbolic AI team you will define and drive the product vision for one of the most important emerging platforms in AI. Youll translate breakthrough research in formal verification and neurosymbolic AI into products that solve real problems for developers security teams and enterprises building with AI.

The opportunity: as AI-generated code and autonomous agents proliferate the need for mathematical guarantees about their behavior is becoming existential for businesses. Youll define how AWS meets that need packaging complex technology into elegant accessible experiences that customers love. This requires a rare blend of technical depth business acumen and design instinct.

Key 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


About the team
Who Thrives Here: Were looking for people who defy easy categorization. Engineers who think like product managers. Scientists who care about shipping. Product leaders who can read a paper and sketch a system architecture on a whiteboard. The problems were solving require people who move fluidly between disciplines and weve built a culture that rewards breadth as much as depth.

Inclusive Team Culture: The best ideas at the intersection of AI and formal reasoning come from people with different backgrounds and training: mathematicians who became engineers systems programmers who fell in love with type theory researchers who wanted more than approximate answers. If your path has been nonlinear youll fit right in. We actively seek a diversity of perspectives because the problems demand it.

Training & Career Growth: Youll work alongside an industry-leading team of scientists and engineers who are defining a new field. We invest in growth attending and publishing at top conferences collaborating with university research partners and creating the space to go deep on genuinely hard problems. This is a team where youll learn constantly from colleagues who are among the best in the world at what they do.

Work/Life Balance: Deep thinking requires rest recovery and a life outside of work. Flexible work arrangements are part of our culture and we trust our team to manage their time and energy. When we feel supported in the workplace and at home theres nothing we cant achieve.

Why Join Now The convergence of large language models and formal reasoning is happening now. It will reshape how software is built verified and trusted and we have the heritage the talent and the backing of AWS to lead it. The people who join this team today will define this field for years to come.


- Bachelors degree in Computer Science Engineering or a related technical field
- 5 years of experience in cloud computing developer tools AI or enterprise software
- Demonstrated ability to define product strategy and drive execution in a fast-paced technically complex environment

- MBA or Masters degree in a technical field
- Experience with AI/ML products developer platforms or security/compliance tools
- Familiarity with formal methods automated reasoning or programming language theory (you dont need to prove theorems but you should understand why they matter)
- Experience bringing 0-to-1 products to market at a technology company
- Experience with pricing strategy go-to-market execution and product-led growth
- Comfort presenting to and influencing senior leadership

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 for more information. If the country/region youre applying in isnt 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 WA Seattle - 181100.00 - 245000.00 USD annually