Sr. Applied Scientist, Aws Identity

Amazon

United States
167,100.00 - 226,100.00 usd annually py
On-site
Programming languages
Formal verification
Program analysis
Amazon is seeking a Senior Applied Scientist for its AWS Identity team, focusing on applying formal verification and programming methodologies to enhance security and safety systems for customers. The role involves collaboration, prototyping, and leadership, offering opportunities for mentorship and career growth in a culture that values diversity and innovation

Job Summary

  • Apply knowledge of programming languages, formal verification, and automated reasoning to build tools that find or prove the absence of security/safety problems.
  • Interact with internal teams and external customers to understand requirements, propose solutions, create prototypes, and integrate them into production systems.
  • AWS Platform is always innovating with the customer in mind, supporting over 750 million transactions per second and fostering an inclusive team culture with opportunities for mentorship and career growth.

Matching Summary

Match Score: 85

Amazon is seeking a Senior Applied Scientist for its AWS Identity team, focusing on applying formal verification and programming methodologies to enhance security and safety systems for customers. The role involves collaboration, prototyping, and leadership, offering opportunities for mentorship and career growth in a culture that values diversity and innovation.

Salary

167,100.00 - 226,100.00 USD annually

Skills & Requirements

Must-have

  • programming languages
  • formal verification
  • program analysis
  • constraint-solving
  • theorem proving
  • SAT/SMT solvers
  • BDDs

Nice-to-have

  • customer interaction
  • innovative solutions
  • software prototypes
  • production systems
  • mentorship
  • technical conferences

Key Requirements

  • Must have US citizenship
  • Must have Permanent Residency

Work Rights

Not specified

Tailored Resume

Cover Letter