Only AI Jobs


Sr. Software Development Engineer, Automated Reasoning Group

ID: 6395

Type: Full-time

Category: Others

Company Name: Amazon Development Center U.S., Inc.

Location: USA, NY, New York - New York - United States

Salary: 184,900.00 - 250,200.00 USD annually

Visit company vacancy
Job Description

We are building new capabilities in the Amazon Web Services (AWS) Automated Reasoning Group, by using Automated Reasoning in new, novel 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, one of AI’s most persistent challenges. ARc is at the forefront of Amazon's initiative on combining AI and math to give customers confidence in their Generative AI applications. See for more info: https://www.wsj.com/articles/why-amazon-is-betting-on-automated-reasoning-to-reduce-ais-hallucinations-b838849e

We are seeking a talented and passionate Senior Software Development Engineer who wishes to work at the intersection of Automated Reasoning and AWS services.

As a Senior 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.


Key job responsibilities
• Collaborate with experienced cross-disciplinary Amazonians to conceive, design, and bring innovative products and services to market.
• Design and build innovative technologies in a large distributed computing environment, and help lead fundamental changes in the industry.
• Create solutions to run predictions on distributed systems with exposure to innovative technologies at incredible scale and speed.
• Build distributed storage, index, and query systems that are scalable, fault-tolerant, low cost, and easy to manage/use.
• Ability to design and code the right solutions starting with broadly defined problems.
• Work in an agile environment to deliver high-quality software.

About the team
Our team is dedicated to supporting new members. We have a broad mix of experience levels and tenures, and we’re building an environment that celebrates knowledge-sharing and mentorship. Our senior members enjoy one-on-one mentoring and thorough, but kind, code reviews. We care about your career growth and strive to assign projects that help our team members develop your engineering expertise so you feel empowered to take on more complex tasks in the future.

Basic Qualifications

- 5+ years of non-internship professional software development experience
- 5+ years of programming with at least one software programming language experience
- 5+ years of leading design or architecture (design patterns, reliability and scaling) of new and existing systems experience
- Experience as a mentor, tech lead or leading an engineering team

Preferred Qualifications

- 5+ 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
- Automated Reasoning or formal methods experience or interest

Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status.

Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process, including support for the interview or onboarding process, please visit https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you’re applying in isn’t listed, please contact your Recruiting Partner.

The base salary range for this position is listed below. Your Amazon package will include sign-on payments and restricted stock units (RSUs). Final compensation will be determined based on factors including experience, qualifications, and location. Amazon also offers comprehensive benefits including 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, and parental leave. Learn more about our benefits at https://amazon.jobs/en/benefits.



USA, NY, New York - 184,900.00 - 250,200.00 USD annually

Company Information

Company Name: Amazon Development Center U.S., Inc.

Company Website: https://www.amazon.com

Company Address: 410 Terry Avenue North, Seattle, WA 98109, USA

Amazon Development Center U.S., Inc. is a United States-based legal entity and operating subsidiary affiliated with Amazon.com, Inc., established to support the parent company’s software development, engineering, research and product delivery activities within the United States. As an operating arm within the broader Amazon corporate structure, this entity functions primarily as a development center that consolidates engineering, product management, research and related professional services for Amazon’s array of consumer, retail, cloud and device products. The subsidiary serves as an organizational vehicle for recruiting and employing technical and non-technical staff, conducting product and systems development work, and coordinating cross-functional programs that feed into Amazon’s global platforms and services. At a high level, the core activities of Amazon Development Center U.S., Inc. include software engineering and application development; systems design and infrastructure engineering; data science and machine learning research; product and program management; testing and quality assurance; and operational support for services deployed across Amazon’s businesses. The work performed by teams associated with this development center contributes to the design, build, deployment and maintenance of scalable back-end services, consumer-facing features and enterprise tools. These activities typically span areas such as e-commerce retail systems, inventory and fulfillment technology, payments and checkout systems, recommendation and personalization engines, search and catalog services, advertising technology, cloud infrastructure services, developer tools, voice and device platforms (including Alexa and related embedded software), and mobile and web application front ends. The main products and services supported through the development center are those that reflect Amazon’s primary business lines. This includes contributions to Amazon.com’s retail and marketplace platform (catalog management, customer experience features, seller systems and order processing), Amazon Web Services (cloud compute, storage, data services and developer tooling), Alexa and devices (voice assistant features, device firmware, and cloud-based voice services), Kindle and digital content services (content distribution and reading applications), Prime membership features (media delivery, recommendations, and benefits management), and advertising technology (ad serving, targeting and measurement solutions). In each area, the development center’s personnel typically work on software components, APIs, distributed systems, automation, security, reliability engineering and performance optimization to enable scalable, resilient services used by millions of customers worldwide. Beyond product development, the development center supports organizational activities such as engineering hiring and on-boarding, developer training programs, localized research initiatives, collaboration with academic partners, and participation in global product planning and feature roll-outs. Teams at the center often collaborate with other Amazon business units and international development centers to integrate new features into global releases, implement region-specific regulatory or compliance requirements, and adapt large-scale services to meet diverse customer and market needs. Amazon Development Center U.S., Inc. operates within the broader industry positioning of Amazon, which on official company sources identifies itself as a technology company that operates in e-commerce, cloud computing, digital content, and consumer electronics. The subsidiary’s work aligns with those areas by focusing on technology development and operational engineering that underpin Amazon’s public-facing services and internal platforms. Official Amazon communications highlight continuous investment in product innovation, infrastructure, and customer experience improvements; the activities of development centers and engineering subsidiaries are core enablers of those investments. In practical terms, the development center serves as a hub for multidisciplinary engineering teams that apply modern software-development practices, cloud-native architectures and machine learning methods to solve large-scale problems. Typical operational emphases include building distributed systems with high availability, implementing secure and compliant data-handling practices, optimizing latency and throughput for customer transactions, automating deployment pipelines and monitoring, and using data-driven experimentation to inform product decisions. While Amazon Development Center U.S., Inc. is a legal corporate entity with administrative and operational responsibilities, its identity and output are tightly integrated with Amazon’s global product and service ecosystem. The value proposition of the center lies in providing specialized engineering capacity and localized operational capabilities that accelerate the creation, iteration and delivery of software and services that support Amazon’s customers, sellers, partners and internal stakeholders. As with other Amazon development centers, the subsidiary contributes to both feature development and the foundational technologies that enable Amazon’s large-scale commerce, cloud and device businesses. For public inquiries and general information about Amazon’s corporate structure, product lines and corporate mission, Amazon’s official corporate communications and website provide primary documentation. Amazon publicly states its overarching mission and describes its principal business segments and technology investments, which contextualize the role that U.S.-based development centers and subsidiaries play within the company’s broader strategy and operations.
Visit company vacancy