SOFTWARE ENGINEER

Job description

DESCRIPTION

Amazon.com is looking for a motivated individual with strong analytical skills to join our AWS security team.
As a member of this team, he or she will play an integral part in Amazon.com's security effort by successfully partnering with various Amazon teams to to help find and/or prove the absence of security vulnerabilities.
Technical Responsibilities:
- Interact with various groups to develop an understanding of their security and safety requirements.
- Apply the acquired knowledge to build tools find problems, or show the absence of security/safety problems.
- Implement these tools through the use of SAT, SMT, BDDs, and various concepts from programming languages, theorem proving, formal verification, model checking, program analysis, and constraint solving.
- Perform analysis of the customer systems using tools developed in-house or externally provided
- Find exploits and fixes for security vulnerabilities, and software to automate this process.
- Create software prototypes to verify and validate the devised solutions methodologies; integrate the prototypes into production systems using standard software development tools and methodologies.
Leadership Responsibilities:
- Can present and defend company-wide technical decisions to the internal technical community and represent the company effectively at technical conferences.
- Functional thought leader, sought after for key tech decisions. Can successfully sell ideas to an executive level decision maker.
- Mentors and trains the research scientist community on complex technical issue

Desired profile

BASIC QUALIFICATIONS

* Masters in Math, CS, OR or a closely related field.
* Minimum of 5 years industrial/academic experience in formal verification, program analysis, constraint-solving, theorem proving, and mathematical modeling
* Minimum of 2 years experience building distributed systems or web services