Job Board
LogoLogo

Get Jobs Tailored to Your Resume

Filtr uses AI to scan 1000+ jobs and finds postings that perfectly matches your resume

Amazon Logo

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

Amazon

$136,000 - $223,400
Aug 1, 2025
Seattle, WA, USA
Apply Now

Revolutionize cloud computing through cutting-edge automated reasoning techniques, improving security, durability, availability, and quality of Amazon's products and services.

Requirements

  • Experience programming or scripting language like Python, Java, C or C++
  • Expertise in Theorem Proving
  • Expertise in Boolean Satisfiability Solvers
  • Expertise in Bounded Model Checking
  • Expertise in Deductive Verification
  • Expertise in Programming/Scripting Languages
  • Expertise in Abstract Interpretation

Responsibilities

  • Work on distributed proof search and SAT/SMT solvers
  • Contribute to program analysis, synthesis, and verification
  • Explore novel approaches to solving intricate automated reasoning problems
  • Dive deep into cutting-edge research, leveraging expertise to develop innovative solutions
  • Work on deploying solutions into production
  • Develop innovative solutions in Automated Reasoning

Other

  • Are enrolled in a PhD
  • Are 18 years of age or older
  • Work 40 hours/week minimum and commit to 12 week internship maximum
  • Can relocate to where the internship is based
  • Have publications at top-tier peer-reviewed conferences or journals