Are you interested in building a new service for AWS customers? The Automated Reasoning Group in AWS Platform is looking for a Senior Software Development Engineer (SDE) with experience in building secure, scalable solutions that delight customers. As a foundational member of the team, you will be responsible for driving the team’s long-term vision and architecture, drive/shape roadmaps, and provide technical leadership to the engineering team. You will own major deliverables end-to-end and influence the design and development of the core software of a new product. 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
· BS degree or higher in Computer Science, Engineering or related field. · 7+ years of professional experience with modern programming languages (eg. Java, JavaScript, C/C++) and open-source technologies (Linux, Spring) · 7+ years of professional experience designing and developing large-scale, distributed software applications, tools, systems and services using such as Java, C#, or C++, and Object-Oriented Design. · Experience developing software services and knowledge of design for scalability, performance and reliability. · Experience in communicating with end users, technical teams and senior