2027 Applied Science Internship - Automated Reasoning - United States, PhD Student Science Recruiting, Automated Reasoning
Core
PhD student intern developing formal methods and automated reasoning techniques to ensure the security, reliability, and correctness of Amazon and AWS services.
Role type
PhD student Applied Science Intern (Automated Reasoning)
Builds
Formal verification tools, theorem provers, and AI safety mechanisms for cloud infrastructure and generative AI systems.
Domain
Cloud computing, formal verification, automated reasoning, AI safety
Deliverable
production ML models | research
Required skills
Theorem proving, Boolean satisfiability solving (SAT/SMT), bounded model checking, deductive verification, program analysis, programming in Python/C++/Haskell/Lean
Preferred skills
Formal methods toolkits (Lean, Dafny, Isabelle, Z3), applying formal methods to real-world software problems, functional/systems languages (OCaml, Rust, Scala), AI-assisted development tools
Technologies
Lean, Dafny, Isabelle, Rocq, Z3, SAT/SMT solvers, Python, C++, Haskell
Responsibilities
Design and implement algorithms for constraint solving, model checking, and program synthesis; apply generative AI/ML to enhance automated reasoning; contribute to automated reasoning for generative AI and agentic coding systems; publish research at peer-reviewed conferences.
Seniority
PhD student, research intern