TL;DR

Senior Applied Scientist (AI): Developing and productizing advanced formal verification and automated reasoning tools for AWS identity and security systems with an accent on SAT/SMT solvers, theorem proving, and constraint solving. Focus on scaling security solutions for high-load cloud services and influencing technical strategy across the organization.

Location: Arlington, VA (USA)

Salary: $167,100 – $226,100 USD annually

Amazon

Amazon Web Services (AWS) is a global leader in cloud computing, providing comprehensive infrastructure and innovative services to millions of customers worldwide.

What you will do

  • Interact with security teams to identify requirements and devise innovative technical solutions.
  • Build and productize software tools for formal verification and security analysis using SAT/SMT and theorem proving concepts.
  • Create and validate software prototypes, integrating them into production-ready AWS systems.
  • Analyze customer systems using internal and external tools to ensure security and safety.
  • Defend technical decisions at company-wide forums and represent the team at industry conferences.
  • Mentor research scientists and provide functional leadership on complex technical challenges.

Requirements

  • PhD or Master's degree in a relevant field with 6+ years of applied research experience.
  • Proficiency in Java, C++, or Python.
  • Strong expertise in algorithms, data structures, or distributed computing.
  • Proven track record of patents or publications at top-tier peer-reviewed conferences.
  • Must have legal authorization to work in the United States.

Nice to have

  • 5+ years of industry or academic research experience.
  • Background in professional software development.

Culture & Benefits

  • Comprehensive health insurance including medical, dental, and vision coverage.
  • Retirement savings through 401(k) matching.
  • Strong focus on work-life harmony and professional flexibility.
  • Extensive mentorship programs and career development resources.
  • Inclusive culture with dedicated affinity groups and diversity conferences.
  • Includes sign-on bonuses and restricted stock units (RSUs).