Amazon Applied Scientist AWS Provable Security 

United States, New York, New York 

296966822

Key job responsibilities
* Design and implement scalable systems for formal reasoning and automated theorem proving.
* Collaborate closely with internal and external users to understand their requirements for formal verification and automated reasoning.
* Enhance and extend the capabilities of formal reasoning systems to meet application-specific demands.
* Proactively identify and explore new opportunities for deploying and leveraging formal reasoning solutions across various domains.A day in the life
About the team
Diverse Experiences
Amazon Security values diverse experiences. Even if you do not meet all of the qualifications and skills listed in the job description, we encourage candidates to apply. If your career is just starting, hasn’t followed a traditional path, or includes alternative experiences, don’t let it stop you from applying.Training & Career Growth
We’re continuously raising our performance bar as we strive to become Earth’s Best Employer. That’s why you’ll find endless knowledge-sharing, training, and other career-advancing resources here to help you develop into a better-rounded professional.Work/Life Balance

- PhD, or Master's degree and 4+ years of CS, CE, ML or related field experience
- Experience in patents or publications at top-tier peer-reviewed conferences or journals
- Experience in any of the following areas: SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, program analysis.
- Experience programming in O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala or related language

- Experience in professional software development