Senior Product Manager, AWS Neurosymbolic AI

Amazon • Boston, MA

2d • Remote

About The Position

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. 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.

Requirements

• Bachelor's degree in Computer Science, Engineering, or a related technical field
• 5+ years of technical product or program management experience
• 2+ years of enterprise scale infrastructure or development-based cloud programs/projects in a related industry experience
• Experience driving feature delivery end-to-end — from requirements through launch
• Strong written communication — you can write a product spec that engineers want to build from

Nice To Haves

• Experience in identifying a customer need, building a product to meet that need, and launching that product
• Experience shipping innovative, successful consumer products
• Master's degree in a technical field
• Experience with developer tools, APIs, or platform services
• Familiarity with formal methods, compilers, programming languages, or verification tools
• Comfort working alongside scientists and engineers on technically complex products
• Experience with usage metrics, A/B testing, or data-driven product decisions

Responsibilities

• Own feature definition and delivery for a specific product area within the neurosymbolic AI platform
• Engage directly with customers and beta participants to understand needs, gather feedback, and validate solutions
• Write clear product requirements and specifications that translate customer problems into buildable scope
• Drive prioritization within your area — making tradeoffs between customer asks, technical debt, and new capabilities
• Partner closely with engineering and science teams through the full development lifecycle
• Define and track success metrics for your features and surface learnings to inform broader product direction
• Contribute to launch readiness — documentation, enablement materials, and go-to-market support
• Communicate progress, blockers, and customer insights to leadership and cross-functional partners

Benefits

• 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
• parental leave
• sign-on payments
• restricted stock units (RSUs)

What This Job Offers

• Job Type: Full-time
• Career Level: Senior