Amazon
Senior Applied Scientist , Automated Reasoning Group
Amazon, Santa Clara, California, us, 95053
Senior Applied Scientist , Automated Reasoning Group
Job ID: 2796132 | Amazon Web Services, Inc.Are you passionate about formal verification of programs? The Automated Reasoning Group is looking for a Senior Applied Scientist to develop and deliver innovative, scalable code reasoning capabilities to address customers' needs for provably correct code. You will be part of a larger organization that develops formal software analysis tools (e.g., Dafny, Lean) and applies them to software at all levels of abstraction from assembler through high-level programming languages. You will work with a team of world-class automated reasoning experts to deliver code reasoning technology that is powerful yet accessible to all developers.
About the team
AWS Utility Computing (UC) provides product innovations — from foundational services such as Amazon’s Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to consistently released new product innovations that continue to set AWS’s services and features apart in the industry. As a member of the UC organization, you’ll support the development and management of Compute, Database, Storage, Internet of Things (IoT), Platform, and Productivity Apps services in AWS, including support for customers who require specialized security solutions for their cloud services.
BASIC QUALIFICATIONS
PhD, or Master's degree and 6+ years of applied research experienceExperience programming in Java, C++, Python or related languageExperience in formal verification tools and techniques, such as theorem provers (Dafny, Lean), SAT-SMT solversPREFERRED QUALIFICATIONS
PhD in engineering, technology, computer science, machine learning, robotics, operations research, statistics, mathematics or equivalent quantitative fieldExperience in compiler technologiesAmazon 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.Posted:
September 20, 2024
#J-18808-Ljbffr
Job ID: 2796132 | Amazon Web Services, Inc.Are you passionate about formal verification of programs? The Automated Reasoning Group is looking for a Senior Applied Scientist to develop and deliver innovative, scalable code reasoning capabilities to address customers' needs for provably correct code. You will be part of a larger organization that develops formal software analysis tools (e.g., Dafny, Lean) and applies them to software at all levels of abstraction from assembler through high-level programming languages. You will work with a team of world-class automated reasoning experts to deliver code reasoning technology that is powerful yet accessible to all developers.
About the team
AWS Utility Computing (UC) provides product innovations — from foundational services such as Amazon’s Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to consistently released new product innovations that continue to set AWS’s services and features apart in the industry. As a member of the UC organization, you’ll support the development and management of Compute, Database, Storage, Internet of Things (IoT), Platform, and Productivity Apps services in AWS, including support for customers who require specialized security solutions for their cloud services.
BASIC QUALIFICATIONS
PhD, or Master's degree and 6+ years of applied research experienceExperience programming in Java, C++, Python or related languageExperience in formal verification tools and techniques, such as theorem provers (Dafny, Lean), SAT-SMT solversPREFERRED QUALIFICATIONS
PhD in engineering, technology, computer science, machine learning, robotics, operations research, statistics, mathematics or equivalent quantitative fieldExperience in compiler technologiesAmazon 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.Posted:
September 20, 2024
#J-18808-Ljbffr