Amazon.com is looking for a motivated individual with strong analytical skills to join our AWS Platform team who will play an integral part in Amazon.com's by successfully partnering with various Amazon teams to to help find and/or prove security, durability, and availability properties.
* Interact with various groups to develop an understanding of their security, durability, and availability 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 * Develop and design, 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.
* 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
Amazon is a company operating a marketplace for consumers, sellers, and content creators.