Senior Applied Scientist (AI)

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

hirify.global

hirify.global 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).