Internship description and application here –>www.amazon.jobs/jobs/943766
The Automated Reasoning Group in AWS Platform is looking for PhD Interns interested in formal methods and programming languages. 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/
As a Science Intern, you will work from concept through to execution. This role will give you the opportunity to build tools and support structures needed to analyze data, dive deep to resolve root cause of systems errors and changes.
Amazon internships are full-time (40 hours/week) for 12 consecutive weeks. Applicants should have at a minimum one quarter/semester remaining after their internship concludes.
While the majority of our roles are based in the greater New York City, NY area, by applying to this position your application will be considered for all locations we hire for in the United States, including but not limited to: Bay Area, CA; Boston, MA; Minneapolis, MN; Portland, OR; Seattle, WA.
BASIC QUALIFICATIONS
· Enrolled in a programming languages or formal methods PhD program at the time of application and while interning
· Academic experience in formal verification, program analysis, model checking, mathematical modeling, verification of low-level systems code
· Academic experience building software verification tools
· Experience with Java, C++, R, MATLAB, Python, or similar scripting and programming languages.
PREFERRED QUALIFICATIONS
· Experience working with formal methods on the hardware/software boundary
· Experience with software model checkers
· Experience with SAT/SMT solvers
· Experience with deductive software verification tools
Amazon is an Equal Opportunity Employer – Minority / Women / Disability / Veteran / Gender Identity / Sexual Orientation / Age.
Pursuant to the San Francisco Fair Chance Ordinance, we will consider for employment qualified applicants with arrest and conviction records.