Applied Scientist , Automated Reasoning Group - Boston

Job Description

Are you passionate about automated reasoning and program analysis? Do you enjoy creating code reasoning tools that help customers build software with high assurance. If so, then we have an exciting opportunity for you. The Automated Reasoning Group is looking for an Applied Scientist who will develop innovative and scalable code reasoning tools and techniques to address customers software assurance needs. You will be part of a larger organization that develops formal software analysis tools from model checkers to deductive theorem provers and applies them to software at all levels of abstraction from assembler through very high-level languages like Dafny.

Each day, hundreds of thousands of developers make billions of transactions worldwide on AWS. They harness the power of the cloud to enable innovative applications, websites, and businesses. Using automated reasoning technology and mathematical proofs, AWS allows customers to answer questions about security, availability, durability, and functional correctness. We call this provable security, absolute assurance in security of the cloud and in the cloud. https://aws.amazon.com/security/provable-security/

Basic Qualifications:

- 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 programming in Java, C++, Python or related language
- Experience in formal verification techniques such as theorem proving, model checking, SAT-SMT

Preferred Qualifications:

- PhD in engineering, technology, computer science, machine learning, robotics, operations research, statistics, mathematics or equivalent quantitative field
- Experience in compiler technologies

Amazon is committed to a diverse and inclusive workplace. Amazon is an equal opportunity employer and does not discriminate on the basis of race, national origin, gender, gender identity, sexual orientation, protected veteran status, disability, age, or other legally protected status. For individuals with disabilities who would like to request an accommodation, please visit https://www.amazon.jobs/en/disability/us.