2024 Summer Applied Science Internship - Automated Reasoning and Storage Systems - United States, PhD Student Science Recruiting

Amazon

Feb 15, 2024

Applications are closed

Internship
Full-time
Summer Internship
Software Engineering
San Francisco, +6

Requirements

Basic Qualifications:
Enrolled in a Ph.D. degree program in a computer science or a related field.
Experience with at least one of the following: formal specification, formal semantics, propositional logic (and SAT solving), first-order logic (and SMT solving), higher-order logics, temporal logics.
Experience in understanding and ability to implement algorithms using both toolkits and self-developed code.
Experience with Java, Rust, O'Caml, C/C++, or other programming language, as well as with Python or similar scripting language.
Preferred Qualifications:
Experience with at least one of the following: Deductive verification (Dafny, Boogie, OpenJML, Frama-C, VCC), Interactive theorem proving (Coq, HOL-light, Isabelle), Model checking (I) of protocols (ii) of code. Explicit-state vs symbolic model checking, Symbolic/concolic test generation, Model-based testing, Checking conformance/refinement, Functional programming, types, monads, Invariant-based verification, Synthesis, Runtime verification/monitoring, Solver-aided languages, Static analysis.
Technical fluency, comfort understanding and discussing logical concepts and algorithms, scheduling tradeoffs and new opportunities with technical team members.
Publications at peer-reviewed conferences or journals.
Excellent critical thinking skills and the ability to present your thoughts clearly and compellingly in orally and in writing.

Responsibilities

AWS Automated Reasoning teams work in areas including: Distributed proof search, SAT and SMT solvers, Reasoning about distributed systems, Automating regulatory compliance, Program analysis and synthesis, Security and privacy, Cryptography, Static analysis, Property-based testing, Model-checking, Deductive verification, compilation into mainstream programming languages, Automatic test generation, and Static and dynamic methods for concurrent systems.
As an Applied Science Intern, you will work closely with Amazon scientists and other science interns to develop solutions and deploy them into production. The ideal scientist must have the ability to work with diverse groups of people and cross-functional teams to solve complex business problems. A successful candidate will be a self-starter with strong attention to detail and the ability to thrive in a fast-paced, ever-changing environment who is comfortable with ambiguity.
Amazon believes that scientific innovation is essential to being the world’s most customer-centric company. Our ability to have impact at scale allows us to attract some of the brightest minds in Automated Reasoning and related fields. Our scientists work backwards to produce innovative solutions that delight our customers.

Amazon

Retail & Consumer Goods

Industry

10,001+

Employees

1994

Founded Year

Mission & Purpose

Amazon is guided by four principles: customer obsession rather than competitor focus, passion for invention, commitment to operational excellence, and long-term thinking. We are driven by the excitement of building technologies, inventing products, and providing services that change lives. We embrace new ways of doing things, make decisions quickly, and are not afraid to fail. We have the scope and capabilities of a large company, and the spirit and heart of a small one. Together, Amazonians research and develop new technologies from Amazon Web Services to Alexa on behalf of our customers: shoppers, sellers, content creators, and developers around the world. Our mission is to be Earth's most customer-centric company. Our actions, goals, projects, programs, and inventions begin and end with the customer top of mind. You'll also hear us say that at Amazon, it's always "Day 1." What do we mean? That our approach remains the same as it was on Amazon's very first day - to make smart, fast decisions, stay nimble, invent, and focus on delighting our customers.