Sr Software Development Engineer, Automated Reasoning Group

The Automated Reasoning Group (ARG) in AWS is seeking a Senior Software Developer to build large-scale systems and tools for automated program verification. This role involves working with scientists and engineers to develop formal software analysis and test generation tools for languages like Python, Java, and Rust. The position is part of AWS's larger mission to help developers validate application security and functionality.

The role sits within AWS's Utility Computing organization, which is responsible for foundational services like S3 and EC2, along with continuous product innovations. You'll be part of a diverse team of scientists and engineers with expertise in formal verification, theorem proving, model checking, and automated test generation, now enhanced by AI technologies.

As a senior engineer, you'll help shape the future of automated reasoning tools that impact hundreds of thousands of developers worldwide. The position offers the opportunity to work on cutting-edge technology while collaborating with industry experts and thought leaders in the field.

AWS values diverse experiences and fosters an inclusive culture through employee-led affinity groups and ongoing learning opportunities. The company emphasizes work-life harmony and provides extensive career development resources. You'll be empowered to think big, innovate on behalf of customers, and make high-impact decisions in a supportive environment that prioritizes both professional growth and personal well-being.

The ideal candidate will bring strong technical expertise, leadership experience, and a passion for building scalable solutions that help developers ensure their applications are secure and function as intended. This is a unique opportunity to work at the intersection of formal methods, cloud computing, and developer tools while contributing to AWS's mission of being Earth's Best Employer.