Amazon Applied Scientist AWS Provable Security 

United States, New York, New York 

347333899

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

- 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