Amazon

Senior Software Development Manager - System Correctness, Kiro

Amazon$220K — $297K *
Information Technology
8 - 10 years of experience
Job Overview by Ladders

Qualifications

  • 10+ years of software engineering experience and 5+ years managing large engineering teams
  • Deep understanding of distributed systems fundamentals
  • Working knowledge of AI agents and LLM-based tooling
  • Demonstrated ability to operate independently in ambiguous environments
  • Track record of shipping scalable production infrastructure
  • Experience building and growing high-performing engineering organizations

Responsibilities

  • Own and scale the engineering organization developing Hydro and associated tools
  • Set multi-year technical strategy for integrating AI into distributed systems development
  • Drive organizational decisions regarding team structure and resource allocation
  • Collaborate with internal teams, customers, and the open-source community
  • Represent the team's vision to senior leadership
  • Hire and develop engineers focused on systems correctness
  • Make high-judgment technical decisions in Rust systems programming

Benefits

  • Comprehensive health insurance (medical, dental, vision)
  • Flexible Spending Accounts
  • Paid time off and parental leave
  • 401(k) matching
  • Adoption and surrogacy reimbursement coverage
  • Employee Assistance Program and mental health support
Full Job Description
We're looking for a Senior Software Development Manager to lead the development of Hydro (https://hydro.run) and a broader set of tools that ensure engineers build correct, performant distributed systems with the help of AI. Hydro is a Rust framework - co-led by UC Berkeley and AWS - that brings distributed safety into the type system, much like Rust brings memory safety. Your team will push this forward and build the AI-powered tooling layer around it.

This is a high-autonomy role. You'll own the technical vision, build and scale the organization, set multi-year strategy, and ship software that changes how distributed systems get built.

You'll work at the intersection of distributed systems research and practical AI tooling - a space where getting correctness right actually matters. Hydro already powers production database engines and is backed by foundational research (CALM theorem). You'll take it from promising framework to industry standard.

Key job responsibilities

- Own and scale an organization of engineers building Hydro and related tooling for correctness in distributed systems

- Set multi-year technical strategy for how AI agents integrate into the distributed systems development lifecycle - from automated protocol verification to intelligent fuzzing and code generation

- Drive org-level decisions: team structure, investment allocation, build vs. partner vs. open-source tradeoffs

- Collaborate with internal Amazon teams, customers, and the open-source community

- Represent the team's vision to senior leadership and across organizational boundaries

- Hire, develop, and retain engineers who care about systems correctness

- Make high-judgment technical decisions across Rust systems programming, compiler/runtime design, and distributed protocol design

- Influence the broader organization's approach to distributed systems quality and AI-assisted development

About the team

Diverse Experiences

AWS values diverse experiences. Even if you do not meet all of the preferred qualifications and skills listed in the job description, we encourage candidates to apply. If your career is just starting, hasn't followed a traditional path, or includes alternative experiences, don't let it stop you from applying.

BASIC QUALIFICATIONS

- Experience owning the operation of a mission-critical team or product

- - 10+ years of software engineering experience with 5+ years managing managers or leading large engineering teams

- Deep understanding of distributed systems fundamentals - consensus, replication, fault tolerance, consistency models, and the CAP/CALM theorems

- Working knowledge of AI agents and LLM-based tooling - how they work, where they fail, how to make them reliable in engineering workflows

- Demonstrated ability to operate independently with high judgment: you set direction across ambiguous problem spaces, make tradeoffs with org-wide impact, and own outcomes without waiting for permission

- Track record of shipping production infrastructure used by other engineers at scale

- Experience building and growing high-performing engineering organizations

PREFERRED QUALIFICATIONS

- Proficiency in Rust - ideally you've shipped Rust in production and understand its type system deeply enough to appreciate what Hydro does with it

- Experience with database internals, query engines, or storage system design

- Background in programming language theory, type systems, or compiler design

- Familiarity with deterministic simulation testing (e.g., FoundationDB-style)

- Contributions to open-source distributed systems projects

- Published research or applied work at the intersection of formal methods and distributed computing

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, WA, Seattle - 220,100.00 - 297,700.00 USD annually

About Amazon

Audible is a provider of spoken audio information and entertainment , on the Internet. They provide premium spoken audio content, such as audio versions of books and newspapers and radio programs, that is delivered over the Internet and played back on personal computers and hand-held electronic devices. The Audible service allows consumers to purchase and download their content from their Website, store it in digital files and play it back on personal computers and electronic devices. More than 15,000 hours of audio content are available on their Web site, including audio versions of books, periodicals and radio programs. Several manufacturers have agreed to support and promote the playback of their content on their hand-held audio-enabled electronic devices.

Amazon Careers

Joining Amazon presents an unparalleled opportunity to become part of a vibrant team pushing the boundaries of innovation and growth in the global marketplace. As a leader in e-commerce, technology, and logistics, Amazon offers a variety of job opportunities that cater to a range of skills and professional interests. Work You’ll Do At Amazon, every day is an opportunity to collaborate with the brightest minds in technology and business to redefine what’s possible. Whether you’re interested in software development, marketing, human resources, or customer service, Amazon has a position waiting for you. Transform the way the world shops and innovates with our diverse and inclusive team. Amazon is not just a company; it’s a community where you can drive real change and contribute to projects impacting millions globally. Lead with Innovation and Leadership Amazon is the perfect place to enhance your leadership and innovation skills. Our culture encourages pushing the envelope and imagining the unimaginable. Here, you will lead projects that challenge the status quo and define new industry standards. Work with a team that values diversity and is committed to creating an inclusive environment. Our leadership is focused on harnessing the collective power of unique perspectives to foster growth and innovation. Explore Amazon’s Employment Benefits Amazon’s commitment to its employees extends beyond just career growth. We offer competitive benefits, including health care, parental leave, and diversity training, ensuring that our team not only excels professionally but also enjoys well-being and security. Internship and Networking Opportunities Start your career with an Amazon internship and gain hands-on experience that matters. Our internships provide a gateway to full-time employment and an opportunity to network with professionals across various sectors of the company. Future-Proof Your Career With Amazon, your career path is filled with numerous opportunities for advancement. Our learning and development programs are designed to nurture your professional growth and keep you at the forefront of industry trends. Stay Connected Join Our Team Discover the job opportunities at Amazon that match your skills and interests. We are constantly on the lookout for passionate, curious, and innovative team players ready to make a difference. Keep Up to Date Stay ahead with career tips, insider perspectives, and industry-leading insights you can put to use today—all from the people who work here. Job Alert Emails Customize your subscription to receive job alerts, the latest news, and insider tips tailored to your preferences. Explore the exciting and rewarding career opportunities that await at Amazon. Amazon is more than just a company—it’s a platform for building a promising future. Whether you’re starting or looking to advance your career, Amazon offers the resources, support, and network you need to succeed. Join us, and be a part of our continuing mission to be Earth's most customer-centric company.
Learn more about Amazon
Size
1,608 employees
Market Cap
$832.6 billion
Industry
Net Income
$21.3 billion
Founded
1994
5 Year Trend
+28.1%
Revenue
$386 billion
NASDAQ

Similar Jobs

More Jobs at Amazon

More Information Technology Jobs

Find similar Senior Software Development Manager - System Correctness, Kiro jobs: