Principal Product Manager, AWS Neurosymbolic AI

Amazon

Seattle, WA

Apply

JOB DETAILS

SKILLS

Amazon Web Services (AWS), Artificial Intelligence (AI), Artificial Intelligence (AI) Agents, Business Administration, Business Skills, Cloud Computing, Computer Programming, Computer Science, Computer Skills, Conferences, Cryptographic Protocols, Diversity, Enterprise Applications, Establish Priorities, Formal Verification, Information Technology & Information Systems, Leadership, Market Entry Strategy, Mathematics, Modeling Languages, Network Performance/Analysis, Neural Networks, Pricing, Problem Solving Skills, Product Management, Product Planning, Product Pricing, Product Shipments, Product Strategy, Programming Languages, Programming Tools, Software Development, Startup, System Architecture, Team Lead/Manager, Technical Leadership, Training/Teaching

LOCATION

Seattle, WA

POSTED

30+ days ago

Description 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 it's 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 Lean's 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 Amazon's 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 we're 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 world's most impactful technology companies. If you're excited by the idea of teaching machines to prove, not just predict, we'd love to talk. What we're 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 we're answering: as AI systems become more capable and more autonomous, how do you know they did what you asked, correctly, safely, and completely? We're 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 it's correct. Agents that act autonomously and guarantee they'll respect constraints. Systems that reason about their own behavior with mathematical precision. This is early, high-impact work with direct visibility to AWS's most senior leaders. The customers you'll serve span from Fortune 100 enterprises betting their businesses on AI, to the developer communities building the next generation of autonomous software. You'll 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. You'll 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. You'll 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 Who Thrives Here: We're 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 we're solving require people who move fluidly between disciplines, and we've 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, you'll fit right in. We actively seek a diversity of perspectives because the problems demand it. Training & Career Growth: You'll 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 you'll 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, there's nothing we can't 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. Basic Qualifications - Bachelor's 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 Preferred Qualifications - MBA or Master's 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 don't 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 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, WA, Seattle - 181,100.00 - 245,000.00 USD annually

About the Company

Amazon

At Amazon, we don’t wait for the next big idea to present itself. We envision the shape of impossible things and then we boldly make them reality. So far, this mindset has helped us achieve some incredible things. Let’s build new systems, challenge the status quo, and design the world we want to live in. We believe the work you do here will be the best work of your life.

Wherever you are in your career exploration, Amazon likely has an opportunity for you. Our research scientists and engineers shape the future of natural language understanding with Alexa. Fulfillment center associates around the globe send customer orders from our warehouses to doorsteps. Product managers set feature requirements, strategy, and marketing messages for brand new customer experiences. And as we grow, we’ll add jobs that haven’t been invented yet.

It’s Always Day 1
At Amazon, it’s always “Day 1.” Now, what does this mean and why does it matter? It means that our approach remains the same as it was on Amazon’s very first day – to make smart, fast decisions, stay nimble, invent, and stay focused on delighting our customers. In our 2016 shareholder letter, Amazon CEO Jeff Bezos shared his thoughts on how to keep up a Day 1 company mindset. “Staying in Day 1 requires you to experiment patiently, accept failures, plant seeds, protect saplings, and double down when you see customer delight,” he wrote. “A customer-obsessed culture best creates the conditions where all of that can happen.” You can read the full letter here

Our Leadership Principles
Our Leadership Principles help us keep a Day 1 mentality. They aren’t just a pretty inspirational wall hanging. Amazonians use them, every day, whether they’re discussing ideas for new projects, deciding on the best solution for a customer’s problem, or interviewing candidates. To read through our Leadership Principles from Customer Obsession to Bias for Action, visit https://www.amazon.jobs/principles

COMPANY SIZE

10,000 employees or more

INDUSTRY

Other/Not Classified

FOUNDED

1994

WEBSITE

http://Amazon.com/militaryroles

Resume Resources

Free Resume Templates Free Resume Builder