Description
We are seeking a Principal Applied Scientist to lead research and development in automated reasoning, formal verification, and program analysis. You will drive innovation in making formal methods practical and accessible for real-world systems at cloud scale.

Key job responsibilities
- Lead research initiatives in automated reasoning, formal verification, SMT solving, model checking, or program analysis
- Design and implement novel algorithms and techniques that advance the state of the art
- Mentor and guide applied scientists, research scientists, and engineers
- Collaborate with product teams to transition research into production systems
- Define technical vision and strategy for automated reasoning initiatives
- Represent AWS in the academic and research community
- Drive cross-organizational impact through technical leadership

About the team
The Automated Reasoning Group at AWS develops and applies cutting-edge formal metho...