Applied Scientist, Automated Reasoning

What you’d do

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