Software Development Engineer II, Automated Reasoning Group

Amazon • New York, NY

3d • $158,100 - $213,800 • Onsite

About The Position

We are building new capabilities in the AWS Automated Reasoning Group, using Automated Reasoning in new and exciting ways to enhance AWS services. Our team owns Automated Reasoning Checks (ARc), a service that uses mathematical logic to verify the accuracy of Generative AI outputs, tackling hallucinations. ARc is at the forefront of Amazon's initiative on combining AI and math to give customers confidence in their Generative AI applications. We are seeking a talented and passionate Software Development Engineer who wishes to work at the intersection of Automated Reasoning and AWS services. As a Software Engineer on this team, you will design and build new services and capabilities that enable the application of automated reasoning in a variety of use cases, contribute to the evolution of Automated Reasoning Checks, and help make the power of automated reasoning more readily available within AWS and for our customers. Delivering a reliable and high-performance service at AWS scale requires engineers with deep technical expertise and boundless creativity. At Amazon, we also expect engineers like you to interact with internal and external customers, to understand our business goals, and to innovate rapidly, delivering high-quality and ground-breaking functionality. What does it take to thrive as a developer at AWS? You need to be creative, responsible, and curious while working with others to move quickly in turning code into customer solutions. You're excited about rolling up your sleeves, implementing big ideas, and learning from those around you. You want the opportunity to grow your technical and professional skills while helping AWS grow. You relish the opportunity to dig into challenging operational issues and to help customers build the next generation of applications. You're somebody who knows how to be both productive and have fun with others. This role also offers the opportunity to work alongside world-class technical and scientific leaders in the automated reasoning discipline.

Requirements

• 3+ years of non-internship professional software development experience
• 2+ years of non-internship design or architecture (design patterns, reliability and scaling) of new and existing systems experience
• 1+ years of software development engineer or related occupational experience
• 1+ years of designing and developing large-scale, multi-tiered, multi-threaded, embedded or distributed software applications, tools, systems, and services using: C#, C++, Java, or Perl experience
• 1+ years of Object Oriented Design experience
• Bachelor's degree or foreign equivalent in Computer Science, Engineering, Mathematics, or a related field
• Experience programming with at least one software programming language

Nice To Haves

• 3+ years of full software development life cycle, including coding standards, code reviews, source control management, build processes, testing, and operations experience
• Bachelor's degree in computer science or equivalent

Responsibilities

• Design and implement complex distributed systems with stringent latency and reliability requirements
• Own critical components end-to-end, from architecture and design through deployment and operations
• Drive technical alignment across multiple engineering teams and stakeholders
• Collaborate with Product, Science, and customers to translate requirements into effective technical solutions
• Develop peers through mentorship, knowledge sharing, and best practices
• Champion team processes using software development best practices
• Propose innovative tools, frameworks, automations and processes for maintaining system performance standards

Benefits

• health insurance (medical, dental, vision, prescription, Basic Life & AD&D insurance and option for Supplemental life plans, EAP, Mental Health Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy Reimbursement coverage)
• 401(k) matching
• paid time off
• parental leave
• sign-on payments
• restricted stock units (RSUs)

What This Job Offers

• Job Type: Full-time
• Career Level: Mid Level