Sign in to access this service

Join OwlIndex or sign in to view full service details, contact info, and application options.

Sign In Sign Up

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

Amazon.com Services LLC
United States of America

Summary

Automated Reasoning internship focusing on theorem proving, SAT/SMT solvers, program analysis and synthesis. 12 weeks, 40 hours/week. Ideal for PhD students. Mentorship, cutting-edge research, and production deployment shaping cloud computing.

Description

Sign in or sign up to view this description.

Sign In Sign Up

Contact Information

Sign in or sign up to view contact information.

Sign In Sign Up

Additional Information

Sign in or sign up to view additional information.

Sign In Sign Up

Location

Sign in or sign up to view location details.

Sign In Sign Up