Role & seniority: Senior Verification Engineer for Amazon Leo’s digital chip SOCs (7+ years in verification with a focus on communications)

Stack/tools: RTL verification; Matlab/C reference models; UVM, SystemC, DPI-C; C/C++ for embedded tests; FPGA/emulation platforms; formal verification techniques; scripting

Top 3 responsibilities

Build and maintain a state-of-the-art verification environment to test RTL against Matlab/C models
Create detailed test plans, write tests, run regressions, collect coverage, and report progress
Perform system-level verification with test benches (UVM/SystemC/DPI-C), plus formal verification of complex blocks; automate regression runs

Must-have skills

Bachelor's in Electrical/Communications Engineering or related field
7+ years of verification experience, preferably in communication systems
5+ years in UVM, C/C++, and scripting

Nice-to-haves

Master's/PhD in EE or related field
10+ years in digital verification for communications
Familiarity with Matlab and formal verification techniques
Strong written and verbal communication

Location & work type

USA: San Diego, CA; Sunnyvale, CA; Redmond, WA
Full-time (on-site/in-office expectations not explicitly stated)

Full Description

Amazon Leo is Amazon’s low Earth orbit satellite network. Our mission is to deliver fast, reliable internet connectivity to customers beyond the reach of existing networks. From individual households to schools, hospitals, businesses, and government agencies, Amazon Leo will serve people and organizations operating in locations without reliable connectivity.

The Role

Be part of Amazon Leo’s sub-team responsible for defining and implementing the
digital chip SOCs for communications via Low Earth Orbit satellites and Amazon
gateways. This is a unique opportunity to define a groundbreaking wireless
solution with few legacy constraints. The team works with customer requirements
and wireless system teams to define modems, high-speed interfaces, embedded
processors, and DSP solutions in latest CMOS generation technologies.

In this role you will

· Implement a state of the art verification environment to facilitate testing of
the RTL against reference Matlab/C models
· Develop detailed test plans and write tests, run regressions, collect coverage
matrices and report progress to the program
· Write tests in C/C++ to execute on embedded CPU
· Develop tests for FPGA and emulation platforms
· Run formal verification of complex blocks to ensure functional correctness
· Work with the design and communication systems team and participate in system
level verification using test benches constructed using UVM, System C and DPI-C
· Develop a highly automated environment to run regressions that can be used to
make builds and maintain organization of the database

Export Control Requirement

Due to applicable export control laws and regulations, candidates must be a U.S.
citizen or national, U.S. permanent resident (i.e., current Green Card holder),
or lawfully admitted into the U.S. as a refugee or granted asylum.

Basic Qualifications: - Bachelor's degree in Electrical or Communications Engineering or a related field

7+ years in verification preferably in communication systems
5+ years in UVM, C/C++ and scripting Preferred Qualifications: - Master's
degree or Ph.D. degree in Electrical Engineering or related field
10+ years in digital verification, preferably in communication systems
Familiarity with Matlab

Lead ASIC Design Verification Engineer, Amazon Leo