JobsUSA2026 Applied Science Internship - Automated Reasoning - United States, PhD Student Science Recruiting
Company : Amazon
Location : Seattle, WA, 98101
Posted Date : 15 September 2025
Job Details
Shape the Future of Cloud Computing
Are you a graduate student passionate about Automated Reasoning and its real-world applications? Join our team of innovators and embark on a journey to revolutionize cloud computing through cutting-edge automated reasoning techniques.
Our tools are called billions of times daily, powering the backbone of Amazon's products and services. We are changing the way computer systems are developed and operated, raising the bar for security, durability, availability, and quality.
As an Applied Science Intern, you'll have the opportunity to work alongside our brilliant scientists and contribute to groundbreaking projects. From distributed proof search and SAT/SMT solvers to program analysis, synthesis, and verification, you'll tackle complex challenges at the intersection of theory and practice, driving innovation and delivering tangible value to our customers.
This internship is not just about executing tasks you'll explore novel approaches to solving intricate automated reasoning problems. You'll dive deep into cutting-edge research, leveraging your expertise to develop innovative solutions. You'll work on deploying your solutions into production, witnessing the real-world impact of your contributions.
Throughout your journey, you'll have access to unparalleled resources, including state-of-the-art computing infrastructure, cutting-edge research papers, and mentorship from industry luminaries. This immersive experience will not only sharpen your technical skills but also cultivate your ability to think critically, communicate effectively, and thrive in a fast-paced, innovative environment.
Join us and be part of a team that is shaping the future of cloud computing through the power of Automated Reasoning. Apply now and unlock your potential! Amazon has positions available for Automated Reasoning Applied Science Internships in, but not limited to, Arlington, VA; New York, NY; Portland, OR; Santa Clara, CA; Seattle, WA.
The ideal candidate should possess the ability to work collaboratively with diverse groups and cross-functional teams to solve complex business problems. A successful candidate will be a self-starter, comfortable with ambiguity, with strong attention to detail and the ability to thrive in a fast-paced, ever-changing environment.
Key job responsibilities:
- Theorem Proving
- Boolean Satisfiability Solvers
- Bounded Model Checking
- Deductive Verification
- Programming/Scripting Languages
- Abstract Interpretation
- Automated Reasoning
- Static/Program Analysis
- Program Synthesis
Recently Posted Jobs
Informatica Admin
Innova Solutions
Fountain Valley, CA
General Dentist Needed - Part Time
Provider Healthcare
Wilmington, CA
Travel Nurse RN - Stepdown - $3,325 per week
LanceSoft Inc
Dayton, OH
Travel Nurse RN - Long Term Acute Care - $1,613 per week
OneStaff Medical
McKeesport, PA
Mathematics Private Tutoring Jobs Yorktown
Superprof
Yorktown, NY
Team Class A CDL Truck Drivers - Competitive Weekly Earnings
Hogan Transportation
Mt Vernon, KY
Banquet Server - $20/Hr
ClubCorp
Tampa, FL
CT Surgery - Physician Assistant or Nurse Practitioner
Cardiac Study Center
Tacoma, WA
Senior Scientist, Generative AI & Agentic Modeling
BioSpace, Inc.
Boston, MA
Flatbed CDL-A Driver - Most Weekends Off - Up to $93,600/Year
System Transport
Central Point, OR
Travel Respiratory Therapist - $2,669 per week
LeaderStat
Grand Forks, ND
Licensed Crisis Clinician (LCSW, LPC, LMFT) - ED Behavioral Health
Hartford HealthCare
Hartford, CT
Paramedic- St. Lawrence Health (Full Time - Nights)
Rochester Regional Health
Potsdam, NY
Dental Hygienist
Smiles Dentistry of Mitchellville
Laurel, MD
Branch Leader - Albemarle Commons
Truist
Charlotte, NC
Taco Bell Team Member - 1311 Center Drive
Taco Bell
Medford, OR
Middle School ELA Teacher
KIPP
Kansas City, MO
Travel Radiology Technician - $1,858 per week
TotalMed Staffing
Blacksburg, VA
Travel Ultrasound - $1,495 to $1,638 per week in Huntsville, AL
AlliedTravelCareers
Huntsville, AL
Physical Therapist Assistant - Full-Time
Renewal Rehab
Farmington Hills, MI
Other Jobs You May Like
Cybersecurity - Summer 2026 Corporate Internship
Company : Dick's Sporting Goods
Location : Coraopolis, PA
CDL-A Driver - Earn $.55 to $.58 cpm on a Dedicated Middle States - 12 Days Out
Company : Crete Carrier Corporation
Location : Bartlett, TN
HR/RECRUITING ASSISTANT - HOURLY (FULL TIME)
Company : Compass Group USA
Location : Winston-Salem, NC
Data Engineer | Enterprise Technology & Security Development Program (July 2026)
Company : Citizens
Location : Iselin, NJ
Software Engineer | Enterprise Technology & Security Development Program (July 2026)
Company : Citizens
Location : Iselin, NJ
January 2026 Strategic Tax - Tax Credits & Incentives Advisory Staff
Company : Cherry Bekaert
Location : Atlanta, GA
August 2026 Strategic Tax - Tax Credits & Incentives Advisory Staff
Company : Cherry Bekaert
Location : Atlanta, GA
Top searches
Employment opportunities at Amazon
Trending Searches in Seattle, WA
- Full time jobs near me Seattle, WA
- Local job openings
- Places hiring near me
- Job vacancies near me
- Science intern jobs near me Seattle, WA
- Science intern jobs hiring near me Seattle, WA
- Science intern jobs hiring near Seattle, WA
- Science intern jobs near Seattle, WA
- Science intern jobs near me in Seattle, WA
- Science intern jobs in Seattle, WA