Senior Software Development Manager - System Correctness, Kiro

About the role

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. Why AWS? Amazon Web Services (AWS) is the world's most comprehensive and broadly adopted cloud platform. We pioneered cloud computing and never stopped innovating - that's why customers from the most successful startups to Global 500 companies trust our robust suite of products and services to power their businesses. Inclusive Team Culture AWS values curiosity and connection. Our employee-led and company-sponsored affinity groups promote inclusion and empower our people to take pride in what makes us unique. Our inclusion events foster stronger, more collaborative teams. Our continual innovation is fueled by the bold ideas, fresh perspectives, and passionate voices our teams bring to everything we do. Mentorship & Career Growth We're continuously raising our performance bar as we strive to become Earth's Best Employer. That's why you'll find endless knowledge-sharing, mentorship and other career-advancing resources here to help you develop into a better-rounded professional. Work/Life Balance We value work-life harmony. Achieving success at work should never come at the expense of sacrifices at home, which is why we strive for flexibility as part of our working culture. When we feel supported in the workplace and at home, there's nothing we can't achieve.

Requirements

• 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
• 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
• Amazon is an equal opportunity em
• 10+ years of software engineering experience with 5+ years managing managers or leading large engineering teams

Additional Information

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

Your Match

How well this role fits your profile.

Company Intel

What employees say

Worked at Amazon Development Center U.S., Inc.? Share your experience