Senior Software Development Manager — System Correctness, Kiro

Amazon Development Center U.S., Inc.•7h ago

United StatesOnsiteFull-timeSenior Level10+ yrs exp

H-1B verified · 2310 LCAs

Apply now

Top focus

Software EngineerSenior Software EngineerSoftware Engineer IiSystem Admin

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
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
the open-source community - Represent the team's vision to senior leadership and across organizational boundaries - Hire, develop
retain engineers who care about systems correctness - Make high-judgment technical decisions across Rust systems programming, compiler/runtime design
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
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
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
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.
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
the CAP/CALM theorems - Working knowledge of AI agents and LLM-based tooling — how they work
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
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
storage system design - Background in programming language theory, type systems
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 employer and does not discriminate on the basis of protected veteran status, disability
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
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
parental leave. Learn more about our benefits at https://amazon.jobs/en/benefits . USA, WA, Seattle - 220,100.00 - 297,700.00 USD annually

Required skills

Rustdistributed systemsAIprogramming language theorycompiler designdatabase internalsquery enginesstorage system design