About the job
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.
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
Qualifications
Minimum
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
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