Description

　　Are you passionate about automated reasoning and program analysis? Do you enjoy creating software that is both high performance and formally verified? If so, then we have an exciting opportunity for you. The Automated Reasoning Group in AWS Platform is looking for an Applied Scientist who wants to formally verify low-level implementations of high-performance cryptographic algorithms as well as develop the automated reasoning tools required to do so. 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/

　　Inclusive Team Culture

　　Here at AWS, we embrace our differences. We are committed to furthering our culture of inclusion. We have ten employee-led affinity groups, reaching 40,000 employees in over 190 chapters globally. We have innovative benefit offerings, and host annual and ongoing learning experiences, including our Conversations on Race and Ethnicity (CORE) and AmazeCon (gender diversity) conferences.

　　Work/Life Balance

　　Our team puts a high value on work-life balance. It isn’t about how many hours you spend at home or at work; it’s about the flow you establish that brings energy to both parts of your life. We believe striking the right balance between your personal and professional life is critical to life-long happiness and fulfillment. We offer flexibility in working hours and encourage you to find your own balance between your work and personal lives.

　　Mentorship & Career Growth

　　Our team is dedicated to supporting new members. We have a broad mix of experience levels and tenures, and we’re building an environment that celebrates knowledge sharing and mentorship. Our senior members enjoy one-on-one mentoring and thorough, but kind, code reviews. We care about your career growth and strive to assign projects based on what will help each team member develop into a better-rounded engineer and enable them to take on more complex tasks in the future.

　　About the team

　　You will be working with a team of formal verification specialists as well as software development engineers. We develops accessible tools and techniques for formal verification ranging from code to distributed systems.

　　We are open to hiring candidates to work out of one of the following locations:

　　Boston, MA, USA

　　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 CS, CE, Mathematics of related fields

　　Experience in SAT/SMT, theorem proving, program analysis

　　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.