Applied Scientist, Automated Reasoning for Security

Amazon Inc.; New York (NY); On-site; USD 180,000 - 240,000; Full time

Job summary

Amazon Security is seeking a highly skilled scientist to design, develop, and deploy automated reasoning solutions for verifying software correctness, security, and reliability. Work spans constraint solving, model checking, static analysis, theorem proving, and program analysis to real-world, high-impact applications.

You will help build new verification tools in a fast-moving, startup-like AWS environment, collaborating with leading researchers to ship impactful results for millions of

Responsibilities

• - Solve significantly complex problems that require deep knowledge and understanding of your domain and scientific innovation
• - Own the design, implementation, and delivery of solutions that have a long-term quantifiable impact
• - Provide cross-organizational technical influence, driving effective outcomes by sharing your deep knowledge and experience
• - Develop fundamentally new solutions for uniquely challenging business problems

Job description

Amazon Security is seeking a highly skilled scientist to design, develop, and deploy automated reasoning solutions for verifying software correctness, security, and reliability. Work spans constraint solving, model checking, static analysis, theorem proving, and program analysis to real-world, high-impact applications.

You will help build new verification tools in a fast-moving, startup-like AWS environment, collaborating with leading researchers to ship impactful results for millions of