Applied Scientist: Automated Reasoning for Security
amazonDenver (CO)
Applied Scientist: Automated Reasoning for Security
Posted yesterday
amazonDenver (CO)
SENIORITY
Mid
About the role
AWS Science of Security is seeking researchers to design, develop, and deploy automated reasoning tools that verify software systems for correctness, security, and reliability. You will apply constraint solving, model checking, and program analysis in a fast-moving, startup-like AWS environment. You will collaborate with world-class scientists, ship tools that secure services used by millions, and influence cross-organizational outcomes while addressing exceptionally challenging problems in
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.