Are you interested in building a new service for AWS customers? The Automated Reasoning Group in AWS Platform is looking for a Software Development Engineer (SDE) with experience in building secure, scalable solutions that delight customers. You will contribute to all aspects of the software development lifecycle including design, development, documentation, testing and operations. You have strong verbal and written communication skills, are self-driven and deliver high quality results in a fast-paced environment. Each day, hundreds of thousands of developers make billions of transactions worldwide on AWS. They harness the power of the cloud to enable innovative applications, websites, and businesses. Using automated reasoning technology and mathematical proofs, AWS allows customers to answer questions about security, availability, durability, and functional correctness. We call this provable security, absolute assurance in security of the cloud and in the cloud. https://aws.amazon.com/security/provable-security/
· 2+ years of non-internship professional software development experience · Programming experience with at least one modern language such as Java, C++, or C# including object-oriented design · 1+ years of experience contributing to the architecture and design (architecture, design patterns, reliability and scaling) of new and current systems. · Strong written communication and technical writing skills · Experience effectively communicating and collaborating with others · Ability to travel to other locations in the U.S. · Experience working in an unstructured and self motivated environment· Work