Applied Scientist III (AI)

TL;DR

Applied Scientist III (AI): Developing and productizing automated reasoning tools for AWS Identity services with an accent on formal verification, constraint solving, and theorem proving. Focus on building scalable security analysis systems, mentoring research scientists, and driving technical strategy for cloud-scale identity infrastructure.

Location: Must be based in Santa Clara, CA, USA

Salary: $192,200–$260,000 USD annually

Company

hirify.global Web Services (AWS) is a leading global cloud platform provider, powering businesses from startups to Global 500 companies with a comprehensive suite of infrastructure and AI services.

What you will do

• Develop and implement tools for security and safety analysis using SAT, SMT, and formal verification concepts.
• Create software prototypes and integrate them into production systems using standard development methodologies.
• Perform deep analysis of customer systems to identify and mitigate security risks.
• Present and defend technical decisions to internal leadership and represent the company at technical conferences.
• Mentor and train the research scientist community on complex technical challenges.
• Collaborate with internal teams to understand and address evolving security requirements.

Requirements

• PhD or Master's degree with 6+ years of applied research experience.
• Proficiency in Java, C++, or Python.
• Experience in algorithms, data structures, parsing, or distributed computing.
• Proven track record of research through patents or publications at top-tier conferences.
• Must be authorized to work in the USA.

Nice to have

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

Culture & Benefits

• Comprehensive health insurance including medical, dental, and vision.
• 401(k) matching and retirement planning.
• Paid time off and parental leave.
• Access to formal mentorship programs and continuous learning opportunities.
• Inclusive culture with support for workplace accommodations.