5 days ago
Base Salary
$144k - $194k/yr
Responsibilities
- Build reliable, well-characterized, and scalable infrastructure for a production AWS Lean service.
- Integrate Lean into the Amazon build ecosystem.
- Develop orchestration intelligence and integrations with conjecture stores, solvers, and related building blocks.
- Extend the service for internal and external AWS customers.
- Apply Lean, formal verification, proof automation, and distributed-systems expertise to software development.
Requirements
- Have 3 or more years of non-internship professional software development experience.
- Have 2 or more years of non-internship experience designing or architecting new and existing systems, including design patterns, reliability, and scaling.
- Have experience programming with at least one software programming language.
- Preferred: 3 or more years of full software development lifecycle experience, including coding standards, code reviews, source control management, build processes, testing, and operations.
- Preferred: bachelor's degree in computer science or equivalent.
Benefits
- Amazon offers health insurance, 401(k) matching, paid time off, parental leave, and additional medical, mental health, insurance, flexible spending, adoption, and surrogacy benefits; the position is based in Seattle, Washington.
About Amazon
Amazon builds and operates a global e-commerce marketplace, logistics network, and consumer devices, and provides cloud computing via AWS for businesses and developers. The company earns revenue from online retail, third‑party seller services, subscriptions like Prime, advertising, and AWS usage. Founded in 1994 and headquartered in Seattle, it is publicly traded on NASDAQ (AMZN) and serves customers in dozens of countries.