Fall 2025 Applied Science Internship - Automated Reasoning - United States PhD Student Science Recruiting
Fall 2025 Applied Science Internship - Automated Reasoning - United States PhD Student Science Recruiting
Posted on :
01-05-2025
Employer Active
1 Vacancy
Job Alert
You will be updated with latest job alerts via emailValid email field required
Send jobs
Share
Send me jobs like this
Job Alert
You will be updated with latest job alerts via emailValid email field required
Send jobs
Job Description
Shape the Future of Cloud Computing
Are you a graduate student passionate about Automated Reasoning and its realworld applications Join our team of innovators and embark on a journey to revolutionize cloud computing through cuttingedge automated reasoning tools are called billions of times daily powering the backbone of Amazons 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 youll 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 youll 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 youll explore novel approaches to solving intricate automated reasoning problems. Youll dive deep into cuttingedge research leveraging your expertise to develop innovative solutions. Youll work on deploying your solutions into production witnessing the realworld impact of your contributions.
Throughout your journey youll have access to unparalleled resources including stateoftheart computing infrastructure cuttingedge 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 fastpaced 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 crossfunctional teams to solve complex business problems. A successful candidate will be a selfstarter comfortable with ambiguity with strong attention to detail and the ability to thrive in a fastpaced everchanging environment.
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
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
Experience programming or scripting language like Python Java C or C
Experience with one or more of the following: Theorem Proving Boolean Satisfiability Solvers Bounded Model Checking Deductive Verification Programming/Scripting Languages Abstract Interpretation Automated Reasoning Static/Program Analysis Program Synthesis
Have publications at toptier peerreviewed conferences or journals
Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status disability or other legally protected status.
Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process including support for the interview or onboarding process please visit for more information. If the country/region youre applying in isnt listed please contact your Recruiting Partner.
Our compensation reflects the cost of labor across several US geographic markets. The base pay for this position ranges from $136000/year in our lowest geographic market up to $223400/year in our highest geographic market. Pay is based on a number of factors including market location and may vary depending on jobrelated knowledge skills and experience. Amazon is a total compensation company. Dependent on the position offered equity signon payments and other forms of compensation may be provided as part of a total compensation package in addition to a full range of medical financial and/or other benefits. For more information please visit This position will remain posted until filled. Applicants should apply via our internal or external career site.
Are you a graduate student passionate about Automated Reasoning and its realworld applications Join our team of innovators and embark on a journey to revolutionize cloud computing through cuttingedge automated reasoning tools are called billions of times daily powering the backbone of Amazons 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 youll 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 youll 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 youll explore novel approaches to solving intricate automated reasoning problems. Youll dive deep into cuttingedge research leveraging your expertise to develop innovative solutions. Youll work on deploying your solutions into production witnessing the realworld impact of your contributions.
Throughout your journey youll have access to unparalleled resources including stateoftheart computing infrastructure cuttingedge 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 fastpaced 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 crossfunctional teams to solve complex business problems. A successful candidate will be a selfstarter comfortable with ambiguity with strong attention to detail and the ability to thrive in a fastpaced everchanging environment.
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
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
Experience programming or scripting language like Python Java C or C
Experience with one or more of the following: Theorem Proving Boolean Satisfiability Solvers Bounded Model Checking Deductive Verification Programming/Scripting Languages Abstract Interpretation Automated Reasoning Static/Program Analysis Program Synthesis
Have publications at toptier peerreviewed conferences or journals
Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status disability or other legally protected status.
Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process including support for the interview or onboarding process please visit for more information. If the country/region youre applying in isnt listed please contact your Recruiting Partner.
Our compensation reflects the cost of labor across several US geographic markets. The base pay for this position ranges from $136000/year in our lowest geographic market up to $223400/year in our highest geographic market. Pay is based on a number of factors including market location and may vary depending on jobrelated knowledge skills and experience. Amazon is a total compensation company. Dependent on the position offered equity signon payments and other forms of compensation may be provided as part of a total compensation package in addition to a full range of medical financial and/or other benefits. For more information please visit This position will remain posted until filled. Applicants should apply via our internal or external career site.
Required Experience:
Intern
Employment Type
Full-Time
Key Skills
Report This Job
Disclaimer: Drjobpro.com is only a platform that connects job seekers and employers. Applicants are advised to conduct their own independent research into the credentials of the prospective employer.We always make certain that our clients do not endorse any request for money payments, thus we advise against sharing any personal or bank-related information with any third party. If you suspect fraud or malpractice, please contact us via contact us page.
