Senior Software Development Manager — System Correctness, Kiro

Hydro 및 관련 정합성 툴링을 개발하는 엔지니어 조직의 운영과 확장 총괄, AI 에이전트의 분산 시스템 개발 라이프사이클 통합 전략 수립, 자동 프로토콜 검증·지능형 퍼징·코드 생성 방향 설정, 조직 구조/투자/빌드-파트너-오픈소스 판단, 내부 Amazon 팀·고객·오픈소스 커뮤니티 협업, 시니어 리더십 및 조직 경계 간 비전 전달, 엔지니어 채용·육성·유지, Rust/컴파일러/런타임/분산 프로토콜 관련 고난도 기술 의사결정, 조직 전체의 분산 시스템 품질 및 AI-assisted development 방향에 영향력 행사.

필수: mission-critical 팀/제품 운영 경험, 소프트웨어 엔지니어링 10년+ 및 매니저 관리/대규모 엔지니어링 팀 리딩 5년+, 분산 시스템 기초(합의, 복제, 장애 허용, 일관성 모델, CAP/CALM) 깊은 이해, AI agents 및 LLM-based tooling의 동작/한계/신뢰성 확보에 대한 실무 지식, 모호한 문제에서 독립적으로 고판단 의사결정 가능, 대규모 프로덕션 인프라 출시 경험, 고성과 엔지니어링 조직 구축·성장 경험. 우대: Rust 숙련 및 프로덕션 경험, database internals/query engines/storage system design 경험, programming language theory/type systems/compiler design 배경, deterministic simulation testing 경험, 오픈소스 분산 시스템 기여, formal methods와 distributed computing 교차 분야 연구/실무 경험.