Applied Science Intern - Automated Reasoning - PhD Student Science Recruiting

What you'll do

• Work on automated reasoning projects including theorem proving, SAT/SMT solvers, and program verification
• Develop and deploy solutions for distributed proof search and program synthesis into production
• Collaborate with scientists on cutting-edge research at the intersection of theory and practice
• Contribute to tools powering billions of daily calls across Amazon's cloud infrastructure

What they're looking for

• PhD student enrolled in a doctoral program
• Programming experience in Python, Java, C, or C++
• Expertise in automated reasoning, program analysis, or related fields preferred
• Ability to commit to 12-week internship minimum, 40 hours per week

Pay and perks

• $142,800–$193,200 annually plus sign-on and restricted stock units
• Health insurance, 401(k) matching, paid time off, and parental leave