Lead applied research in AI-driven formal verification for silicon design at Amazon.
Compensation
USA, WA, Seattle - 167,100.00 - 226,100.00 USD annually
Responsibilities
Design and build LLM-driven systems for formal verification and design tasks, including proof generation, invariant and lemma discovery, spec-to-RTL refinement, and counterexample analysis
Develop frameworks in Lean 4 (and related tools such as SMT solvers, model checkers and commercial FV engines) that formally check AI-generated artifacts, so they are correct by construction rather than just plausible
Formalize hardware semantics, ISAs and microarchitectural properties in Lean 4 to create machine-checkable foundations for AI agents to reason over
Track and evaluate state-of-the-art AI work (LLM agents, autoformalization, neural theorem proving, reinforcement learning from proof feedback) and turn promising research into production tools
Build benchmarks and evaluation methods that measure AI soundness, proof success rate and engineering impact on real designs
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)
Design, develop, and validate high‑power electronics boards for Prime Air’s drone propulsion system.
Compensation
USA, WA, Seattle - 136,000.00 - 184,000.00 USD annually
Responsibilities
Design, develop, and test multi‑layer power electronics board layouts for high‑voltage DC systems
Define power electronics architecture, including topology selection, component specification, and thermal management strategy
Lead test plans validating designs against DO‑160 and DO‑274 for electromagnetic compatibility, environmental resilience, functional safety, and target IP ratings
Apply system‑level thinking to how power electronics subsystems integrate with the broader product architecture
Partner with suppliers, contract manufacturers, and peers to build and validate designs and align on technical trade‑offs
Requirements
Bachelor's degree in electrical engineering
Nice to have: Master's or Ph.D. in Electrical Engineering
Design, develop, and validate high‑voltage Li‑Ion battery packs for Amazon’s Prime Air electric propulsion subsystem.
Compensation
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.
Responsibilities
Design the mechanical architecture for high‑voltage Li‑Ion battery packs, including cell arrangement, modules, enclosures, structural supports, and interconnections
Create 3D models and manufacturing drawings in CATIA with GD&T
Design and integrate thermal management systems and sealed, IP‑rated enclosures
Perform FEA (structural, vibration, thermal) and tolerance stack‑up analysis
Plan and execute prototype builds, validation testing, and root‑cause failure analysis
Requirements
Bachelor's degree in mechanical engineering or equivalent
Lead strategic operations and program management for Amazon Stores Security, partnering with CISO and cross‑functional teams to drive business reviews, planning, and DEI initiatives.
Compensation
USA, WA, Seattle - 137,600.00 - 186,200.00 USD annually
Responsibilities
Drive cadence and content for business, operational, and strategic reviews
Monitor and facilitate progress of executive goals and targets
Work with other business units and influence strategic directions
Drive special projects or strategic projects
Perform additional responsibilities and special projects as assigned
Requirements
Bachelor's degree
Nice to have: delivering projects within scope, time, budget and quality
The Chief Operating Officer (COO) will serve as a member of Upstream's senior leadership team, reporting into the CEO, and will lead the execution of the organization's strategy to rapidly scale its growth, effectiveness and impact.
Compensation
Hiring Range
$325,000—$350,000 USD
Responsibilities
Own Upstream's current and future programs, including to launch, scale, learn, adapt, and drive towards continued growth
Lead and execute marketing and sales of existing, core programs as well as new, innovative programs
Understand the impact of Upstream's programs through existing and new measurement approaches
Actively adjust programs based on measurement and other performance indicators to ensure continuous improvement
Help scale Amazon SEND, a cross-border logistics solution for FBA sellers worldwide.
Compensation
USA, WA, Seattle - 80,200.00 - 101,200.00 USD annually
Responsibilities
Develop and track performance metrics that measure business results, using data analysis to surface trends and recommend supply chain improvements for cross-border logistics.
Collaborate with external partners — including carriers and vendors — to negotiate solutions, close deals, and grow shipping volume across international lanes.
Work with internal teams such as Operations, Procurement, Fulfillment Centers, Seller Support, and Product and Tech to align on priorities and remove roadblocks.
Monitor cross-border logistics market trends and proactively flag opportunities or risks that affect customer experience and business continuity.
Build trusted relationships with local and global stakeholders, document findings for leadership, and create process improvements that support the team's goals.
The Store Associate provides necessary support for dispensary operations either in Front of House (FOH) or Back of House (BOH) as needed, providing customer service and managing inventory.
Compensation
$15.15—$15.15 USD
Responsibilities
Greet all customers in a positive and professional manner
Provide exceptional customer service while accurately entering and processing customer information/transactions
Quickly and precisely handle cash and debit transactions while maintaining a balanced cash drawer
Actively listen with the intent to understand & make appropriate product recommendations to customers as needed
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)
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)
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)
Applied Science IIINewAmazon · Seattle, US
Chief Operating OfficerNewUpstream USA · Boston, US
Marketing Program ManagerNewWonderlic · Remote, US
Store AssociateNewCopperstate Farms · US