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.
Amazon is an electronic commerce and cloud computing company.