Amazon

2027 Applied Science Internship - Automated Reasoning - United States, PhD Student Science Recruiting, Automated Reasoning

Amazon$135K *
Information Technology
Less than 5 years of experience
Job Overview by Ladders

Qualifications

  • Currently pursuing a PhD in a related field
  • Willingness to relocate for the internship
  • Availability to commit to a minimum of 40 hours/week for at least 12 weeks
  • Proficient in Python; knowledge of C++, Haskell, or Lean is a plus
  • Familiarity with areas like mathematical logic, formal verification, or program analysis
  • Evidence of research depth through publications or thesis work

Responsibilities

  • Design and implement algorithms for automated reasoning within a guided research framework
  • Apply generative AI techniques to enhance automated reasoning processes
  • Develop techniques for verifying AI-generated code outputs
  • Contribute to academic publications in peer-reviewed venues
  • Utilize AI tools to improve research efficiency and validate automated systems' outputs

Benefits

  • Employee Assistance Program (EAP)
  • Mental Health Support
  • Medical Advice Line
  • 401(k) matching options
Full Job Description
This role sits within Amazon's Automated Reasoning and Formal Verification research horizon.

Applied Scientists in Automated Reasoning develop and apply formal methods, automated reasoning techniques, and neurosymbolic approaches to ensure the security, reliability, and correctness of Amazon and AWS services and customer applications. Application areas span cloud infrastructure verification, cryptographic assurance, AI safety, and formal guarantees for generative AI systems. Methods range from interactive theorem proving and constraint solving to neuro-inspired proof search.

As an Applied Science Intern, you will have the opportunity to work alongside our scientists and contribute to projects. From distributed proof search and SAT/SMT solvers to program analysis, synthesis, and verification, you will tackle complex challenges at the intersection of theory and practice.

Amazon has positions available for Automated Reasoning Applied Science Internships in, but not limited to, Arlington, VA; Boston, MA; New York, NY; Portland, OR; Santa Clara, CA; Seattle, WA.

Key job responsibilities

We are particularly interested in candidates with expertise in: Theorem Proving, Boolean Satisfiability Solvers, Bounded Model Checking, Deductive Verification, Programming/Scripting Languages, Abstract Interpretation, Automated Reasoning, Static/Program Analysis, Program Synthesis.

Contribute to the design and implementation of algorithms and formal methods for automated reasoning, including constraint solving, model checking, static analysis, theorem proving, and program synthesis, within a guided research framework.

Explore and apply generative AI and machine learning techniques to enhance automated reasoning, including learning-based heuristics for search, neural approaches to symbolic reasoning, and methods for verifying the correctness of AI-generated code.

Contribute to automated reasoning techniques for generative AI and agentic coding systems, including methods that apply formal guarantees to large language model outputs.

Contribute to the scientific community through publications at peer-reviewed conferences and journals.

Leverage AI-powered tools where applicable to accelerate research, experimentation, and prototyping. Critically review and validate outputs from AI tools and automated systems.

The ideal intern must have the ability to communicate research findings clearly to diverse audiences.

BASIC QUALIFICATIONS

- Are enrolled in a PhD

- Can relocate to where the internship is based

- Work 40 hours/week minimum and commit to 12 week internship minimum

- Experience programming in Python, and where applicable, C++, Haskell, or Lean

- Experience in one or more of the following: mathematical logic, formal verification, satisfiability solving (SAT/SMT), mechanical theorem proving, model checking, or program analysis

- Demonstrated science depth in a specific research area, evidenced through publications, thesis work, or equivalent contributions

PREFERRED QUALIFICATIONS

- Experience implementing algorithms using formal methods toolkits (e.g. Lean, Dafny, Isabelle, Rocq, Z3, SAT/SMT solvers, or domain-specific verification frameworks)

- Experience applying formal methods or automated reasoning to real-world software, security, or systems problems

- Experience programming in OCaml, Haskell, Rust, Scala, or a related functional or systems language

- Experience with AI-assisted development tools to accelerate research, coding, or evaluation

The starting pay for this position is listed below. Starting Day 1 of employment, Amazon offers EAP, Mental Health Support, Medical Advice Line, 401(k) matching. Learn more about our benefits at https://hiring.amazon.com/why-amazon/benefits.

Seattle, WA, USA - 135,660.00 USD Annually

About Amazon

Audible is a provider of spoken audio information and entertainment , on the Internet. They provide premium spoken audio content, such as audio versions of books and newspapers and radio programs, that is delivered over the Internet and played back on personal computers and hand-held electronic devices. The Audible service allows consumers to purchase and download their content from their Website, store it in digital files and play it back on personal computers and electronic devices. More than 15,000 hours of audio content are available on their Web site, including audio versions of books, periodicals and radio programs. Several manufacturers have agreed to support and promote the playback of their content on their hand-held audio-enabled electronic devices.

Amazon Careers

Joining Amazon presents an unparalleled opportunity to become part of a vibrant team pushing the boundaries of innovation and growth in the global marketplace. As a leader in e-commerce, technology, and logistics, Amazon offers a variety of job opportunities that cater to a range of skills and professional interests. Work You’ll Do At Amazon, every day is an opportunity to collaborate with the brightest minds in technology and business to redefine what’s possible. Whether you’re interested in software development, marketing, human resources, or customer service, Amazon has a position waiting for you. Transform the way the world shops and innovates with our diverse and inclusive team. Amazon is not just a company; it’s a community where you can drive real change and contribute to projects impacting millions globally. Lead with Innovation and Leadership Amazon is the perfect place to enhance your leadership and innovation skills. Our culture encourages pushing the envelope and imagining the unimaginable. Here, you will lead projects that challenge the status quo and define new industry standards. Work with a team that values diversity and is committed to creating an inclusive environment. Our leadership is focused on harnessing the collective power of unique perspectives to foster growth and innovation. Explore Amazon’s Employment Benefits Amazon’s commitment to its employees extends beyond just career growth. We offer competitive benefits, including health care, parental leave, and diversity training, ensuring that our team not only excels professionally but also enjoys well-being and security. Internship and Networking Opportunities Start your career with an Amazon internship and gain hands-on experience that matters. Our internships provide a gateway to full-time employment and an opportunity to network with professionals across various sectors of the company. Future-Proof Your Career With Amazon, your career path is filled with numerous opportunities for advancement. Our learning and development programs are designed to nurture your professional growth and keep you at the forefront of industry trends. Stay Connected Join Our Team Discover the job opportunities at Amazon that match your skills and interests. We are constantly on the lookout for passionate, curious, and innovative team players ready to make a difference. Keep Up to Date Stay ahead with career tips, insider perspectives, and industry-leading insights you can put to use today—all from the people who work here. Job Alert Emails Customize your subscription to receive job alerts, the latest news, and insider tips tailored to your preferences. Explore the exciting and rewarding career opportunities that await at Amazon. Amazon is more than just a company—it’s a platform for building a promising future. Whether you’re starting or looking to advance your career, Amazon offers the resources, support, and network you need to succeed. Join us, and be a part of our continuing mission to be Earth's most customer-centric company.
Learn more about Amazon
Size
1,608 employees
Market Cap
$832.6 billion
Industry
Net Income
$21.3 billion
Founded
1994
5 Year Trend
+28.1%
Revenue
$386 billion
NASDAQ

Similar Jobs

More Jobs at Amazon

More Information Technology Jobs

Find similar 2027 Applied Science Internship - Automated Reasoning - United States, PhD Student Science Recruiting, Automated Reasoning jobs: