Lead ASIC Design Verification Engineer, Amazon Leo

Amazon Leo is developing a low Earth orbit satellite network aimed at providing reliable internet connectivity to underserved areas. The role involves working on digital chip SOCs for communication systems, focusing on innovative wireless solutions without legacy constraints.

Responsibilities:

• Implement a verification environment for testing RTL against reference Matlab/C models.
• Develop detailed test plans, write tests, run regressions, and report progress.
• Write tests in C/C++ for execution on embedded CPUs.
• Develop tests for FPGA and emulation platforms.
• Conduct formal verification of complex blocks for functional correctness.
• Collaborate with design and communication systems teams for system-level verification using UVM, System C, and DPI-C.
• Create a highly automated environment for running regressions and maintaining database organization.

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.

Skills:

• Master's degree or Ph.D. in Electrical Engineering or related field (preferred).
• 10+ years in digital verification, preferably in communication systems (preferred).
• Familiarity with Matlab (preferred).
• Knowledge of formal verification techniques (preferred).
• Strong written and verbal communication skills.