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