Finding the best job has never been easier
Amazon Applied Scientist AWS Provable Security United States, New York, New York 347333899
Share
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
PREFERRED QUALIFICATIONS
- Experience in professional software development
These jobs might be a good fit
