2025 Applied Science Internship - Automated Reasoning - United States, PhD Student Science Recruiting
Amazon
Seattle, WA, US
6 godzin temu
... proof search and SAT SMT solvers to program analysis, synthesis, and ... teams to solve complex business problems. A successful candidate will be ... following: Theorem Proving, Boolean Satisfiability Solvers, Bounded Model Checking, Deductive Verification, ...
www.amazon.jobs