Applied Scientist, Automated Reasoning

What you’d do

Design and implement automated reasoning algorithms and formal methods, including constraint solving, model checking, static analysis, theorem proving, and program synthesis, to verify the correctness, security, and reliability of computing systems. Full-time role developing new decision procedures and deploying production-grade verification systems at Amazon scale. Found on the employer's careers page on Sep 30, 2026. Apply through the link.