. We are seeking a talented and passionate Software Development Engineer who wishes to work at the intersection of Automated Reasoning... Service (AWS) Automated Reasoning group, by using Automated Reasoning in new, novel and exciting ways to enhance AWS services...