Principal Applied Scientist, Automated Reasoning
Share
Job Location:
Seattle, OR - USA
Monthly Salary:
Not Disclosed
Posted on:
2 days ago
Vacancies:
1 Vacancy
Job Summary
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 methods and automated reasoning techniques to ensure the security reliability and correctness of AWS services and customer applications. Our work innovates tools and services to perform verification at scale and apply them to build safe and secure systems at AWS. We are also pioneering the use of formal verification and automated reasoning to develop agentic systems ensuring AI agents operate within defined safety boundaries.
- MS or Ph.D. degree in Electrical Engineering Computer Science Mathematics or related technical field.
- Industrial/academic experience in formal verification and theorem proving.
- Experience with program analysis program verification or synthesis.
- Experience with programming languages such as Rust C C Java Dafny OCaml or Haskell and open source technologies.
- Experience in design and analysis of algorithms and data structures.
- Ph.D. degree in Electrical Engineering Computer Science Mathematics or related technical field
- Demonstrated track record of project delivery for large cross-functional projects with evolving requirements
- Excellent written and verbal technical communication with an ability to present complex technical information in a clear and concise manner to a variety of audiences
- Exceptional customer relationship skills including the ability to discover the true requirements underlying feature requests recommend alternative technical and business approaches and lead engineering efforts
- 5 years of professional software engineering practices for the full software development life cycle including coding standards code reviews source control management build processes testing and operations
- Familiarity with machine learning and generative AI techniques
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 - 198900.00 - 269000.00 USD annually
Required Experience:
Staff IC
Key Skills
- Machine Learning
- Python
- Data Science
- AI
- R
- Research Experience
- Sensors
- Drug Discovery
- Research & Development
- Natural Language Processing
- Data Analysis Skills
- Toxicology Experience
About Company
Free shipping on millions of items. Get the best of Shopping and Entertainment with Prime. Enjoy low prices and great deals on the largest selection of everyday essentials and other products, including fashion, home, beauty, electronics, Alexa Devices, sporting goods, toys, automotive ... View more
