Applied Scientist Intern, Automated Reasoning

Applied Scientist Intern, Automated Reasoning Job ID: 1261251 | Amazon.com Services LLC DESCRIPTIONThe 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/ At Amazon, we strive to push boundaries in order to provide the best possible experience for our customers. We are looking for scientists striving to use their domain expertise to invent, design, evangelize, and implement state-of-the-art solutions for never-before-solved problems. Come build the future with us. Duration: 3 months Key Job Responsibilities 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, and present findings to business partners to drive improvements. BASIC QUALIFICATIONS Working towards completing either a M.S. or Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field Academic experience in formal verification, program analysis, constraint-solving, and theorem proving Experience with SMT/SAT solvers Experience with programming languages such as Java, Scala, C/C, Ruby, or Python and open-source technologies PREFERRED QUALIFICATIONS Ability to work in a fast paced and agile development environment Experience developing/modifying constraint solvers Demonstrated track record of project delivery for large, cross-functional projects with evolving requirements Excellent written and verbal technical communication with an ability to present complex technical information in a clear and concise manner to a variety of audiences Exceptional customer relationship skills including the ability to discover the true requirements underlying feature requests, recommend alternative technical and business approaches, and lead engineering efforts to meet aggressive timelines with optimal solutions Meets/exceeds Amazons leadership principles requirements for this role Meets/exceeds Amazons functional/technical depth and complexity for this roleAmazon is an Equal Opportunity-Affirmative Action Employer Minority / Female / Disability / Veteran / Gender Identity / Sexual Orientation.