Applied Scientist • Intern

Who you are

You are a graduate student with a strong passion for Automated Reasoning and its real-world applications — your academic background has equipped you with the theoretical knowledge and practical skills to tackle complex problems in this field. You have experience with distributed proof search and SAT/SMT solvers, which will enable you to contribute effectively to our team. Your ability to think critically and communicate effectively will be essential as you collaborate with our scientists and engineers.

You are eager to explore novel approaches to solving intricate automated reasoning problems — your curiosity drives you to dive deep into cutting-edge research and leverage your expertise to develop innovative solutions. You understand the importance of deploying solutions into production and are excited about witnessing the real-world impact of your contributions. You thrive in an environment that offers unparalleled resources, including state-of-the-art computing infrastructure and mentorship from industry leaders.

What you'll do

As an Applied Science Intern at Amazon, you will work alongside brilliant scientists on groundbreaking projects that shape the future of cloud computing. You will tackle complex challenges at the intersection of theory and practice, driving innovation and delivering tangible value to our customers. Your responsibilities will include developing automated reasoning techniques, conducting program analysis, and synthesizing solutions that enhance the security, durability, and quality of our cloud services.

You will have the opportunity to collaborate with cross-functional teams, contributing to the design and implementation of systems that are called billions of times daily. Your work will not only involve executing tasks but also exploring new methodologies and approaches to enhance our automated reasoning capabilities. You will engage in research that informs the development of tools and techniques that power Amazon's products and services.

What we offer

Amazon provides a dynamic internship experience that fosters both personal and professional growth. You will have access to cutting-edge research papers and state-of-the-art computing resources, allowing you to sharpen your technical skills and expand your knowledge in the field of automated reasoning. Our mentorship program connects you with industry luminaries who will guide you throughout your internship.

In addition to a competitive salary, you will enjoy a range of benefits that support your well-being and work-life balance. We encourage you to apply even if your experience doesn't match every requirement — your enthusiasm and willingness to learn are what matter most to us.