The Senior Software Development Engineer will work within the Amazon Web Services (AWS) Automated Reasoning Group, focusing on enhancing AWS services through innovative applications of Automated Reasoning. This role involves designing and building new services that improve the accuracy of Generative AI outputs. The team values creativity, collaboration, and mentorship, providing an environment for professional growth. Engineers will engage with both internal and external customers to deliver high-quality solutions at scale.

• 5+ years of non-internship professional software development experience
• 5+ years of programming experience with at least one software programming language
• 5+ years of experience leading design or architecture of new and existing systems
• Experience as a mentor, tech lead, or leading an engineering team
• 5+ years of experience in the full software development life cycle
• Bachelor's degree in computer science or equivalent
• Interest or experience in Automated Reasoning or formal methods

• Collaborate with experienced cross-disciplinary team members to design and launch innovative products and services.
• Design and build technologies in a large distributed computing environment.
• Create solutions for running predictions on distributed systems at scale.
• Build scalable, fault-tolerant, and easy-to-manage distributed storage and query systems.
• Design and code solutions for broadly defined problems.
• Work in an agile environment to deliver high-quality software.

• Employees at Amazon are often offered comprehensive health benefits—including multiple medical plan options (no pre-existing condition exclusions, 100% covered in-network preventive care), dental and vision plans, a 24/7 medical advice line from day one, expert second-opinion services, and broad mental-health support with several free counseling sessions (including pediatric). Financial wellness typically includes a 401(k) with company match (up to 2%), Restricted Stock Units (equity), FSAs, an emergency savings program, product and partner discounts, and even college-savings and home-purchase programs. Overall, the package is designed to support employees and their families’ health, finances, and day-to-day life.