2023 Fall Applied Science Internship - Automated Reasoning and Storage Systems - United States, Student Science Recruiting
To ensure a great internship experience, please keep these things in mind. This is a full time internship and requires an individual to work 40 hours a week for the duration of the internship. Amazon requires an intern to be located where their assigned team is. Amazon is happy to provide relocation and housing assistance if you are located 50 miles or further from the office location.
We are looking for Masters or PhD students excited about working on Automated Reasoning or Storage System problems at the intersection of theory and practice to drive innovation and provide value for our customers.
AWS Automated Reasoning teams deliver tools that are called billions of times daily. Amazon development teams are integrating automated-reasoning tools such as Dafny, P, and SAW into their development processes, raising the bar on the security, durability, availability, and quality of our products. AWS Automated Reasoning teams are changing how computer systems built on top of the cloud are developed and operated.
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.
AWS Storage Systems teams manage trillions of objects in storage, retrieving them with predictable low latency, building software that deploys to thousands of hosts, achieving 99.999999999% (you didn’t read that wrong, that’s 11 nines!) durability. AWS storage services grapple with exciting problems at enormous scale. Amazon S3 powers businesses across the globe that make the lives of customers better every day, and forms the backbone for applications at all scales and in all industries ranging from multimedia to genomics. This scale and data diversity requires constant innovation in algorithms, systems and modeling.
AWS Storage Systems teams work in areas including: Error-correcting coding and durability modeling, system and distributed system performance optimization and modeling, designing and implementing distributed, multi-tenant systems, formal verification and strong, practical assurances of correctness, bits-IOPS-Watts: the interplay between computation, performance, and energy, data compression - both general-purpose and domain specific, research challenges with storage media, both existing and emerging, and exploring the intersection between storage and quantum technologies.
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. Please visit https://www.amazon.science (https://www.amazon.science/) for more information.
· Enrolled in a Master’s degree program or equivalent in computer science or related fields.
· 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.
· Enrolled in a Ph.D. degree program in computer science or a related field.
· Familiar with the core undergraduate curriculum of computer science.
· 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 top-tier peer-reviewed conferences or journals.
· Excellent critical thinking skills and the ability to present your thoughts clearly and compellingly in orally and in writing.
Amazon has positions available for Automated Reasoning internships in multiple locations across the United States.
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, visit US Disability Accommodations
The base pay for this position in Colorado is $119,232. Pay is based on market location and may vary depending on job-related knowledge, skills, and experience. Our range of benefits may include health care, employee discounts, 401(k) savings plans, paid time off, and more. Applicants should apply via Amazon's internal or external careers site.
The base pay for this position in New York City is $137,862. Our range of benefits may include health care, employee discounts, 401(k) savings plans, paid time off, and more. This information is provided per the New York City Human Rights Law. Base pay information is based on market location. Applicants should apply via Amazon's internal or external careers site.
The base pay for this position in Jersey City is $137,862. Our range of benefits may include health care, employee discounts, 401(k) savings plans, paid time off, and more. This information is provided per the Pay Transparency Regulation of Jersey City Municipal Code. Base pay information is based on market location. Applicants should apply via Amazon's internal or external careers site.
Pursuant to the Los Angeles and San Francisco Fair Chance Ordinance, we will consider for employment qualified applicants with arrest and conviction records.
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.
Our compensation reflects the cost of labor across several US geographic markets. The base pay for this position ranges from $55.34/hr in our lowest geographic market up to $102.31/hr in our highest geographic market. Pay is based on a number of factors including market location and may vary depending on job-related knowledge, skills, and experience. Amazon is a total compensation company. Dependent on the position offered, equity, sign-on payments, and other forms of compensation may be provided as part of a total compensation package, in addition to a full range of medical, financial, and/or other benefits. For more information, please visit https://www.aboutamazon.com/workplace/employee-benefits. Applicants should apply via our internal or external career site.