2025 Applied Science Internship - Automated Reasoning - United States, PhD Student Science Recruiting
Amazon
Seattle, WA, US
21 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