Applied Scientist: Automated Reasoning & Formal Methods
amazonDenver (CO)
Applied Scientist: Automated Reasoning & Formal Methods
Posted yesterday
amazonDenver (CO)
SENIORITY
Mid
About the role
Amazon Development Center U.S., Inc. in Denver seeks applied scientists to design and implement algorithms for automated reasoning, ensuring the security, reliability, and correctness of AWS services. Work on cloud infrastructure verification, AI safety, and formal guarantees for generative systems; contribute to research and publish findings; mentor peers in a fast‑moving environment with broad business impact.
Before you apply
Applying takes about a minute. These four things decide how fast it moves after that.
Your profile is current
It's what we read first. Occupations, seniority and locations matter more than a long history.
Two examples you can talk through
Not a portfolio — just two pieces of work where you can explain the decisions and what you'd change.
A number in mind
What you're on now and what would make you move. We negotiate better when we know both.
Your notice period
Employers plan around it, and it's the question that stalls offers most often.
Once you apply, someone reads it and calls you before anything reaches the employer — usually within two working days.