You will work with business leaders, scientists, and engineers to translate business and functional requirements into concrete deliverables, including the design, development, and testing. You will partner with scientists, program managers, engineers and business partners to help invent and implement scalable automated reasoning services. This is a unique, high visibility opportunity for someone who wants to have business impact, dive deep into large-scale automated reasoning problems, enable measurable actions on the security of AWS, and work closely with scientists and engineers. We are particularly interested in candidates with experience building 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.
•5+ years of combined academic and research experience • Publication record in top-tier journals and conferences. • PhD in Programming Languages, Verification, Model Checking, Theorem Proving • Mentors and trains the research scientist community on complex technical issues. • Experience developing software in traditional programming languages (C++, Java, etc..). Amazon is an Equal Opportunity-Affirmative Action Employer – Women / Minority / Disability/Veteran / Gender Identity / Sexual Orientation / Age.