layiq
/la·yiq/adjective
worthy; deserving; fitting; suitable.
A role, opportunity, or path that merits attention, time, and pursuit.
Loading LAYIQ…
Job opportunity
Sr. Formal Verification Engineer, Amazon Leo
Amazon
Austin, TX; Sunnyvale, CA; Redmond, WA; San Diego, CA
Source: Amazon careers · View original posting
- Pay
- $159,200 — $247,600 USD per year
- Employment
- full time
Employer job description
From Amazon's posting. “We” and “our” refer to the employer.
Amazon's Leo Silicon Team is building next-generation modem SoCs for broadband communication, a constellation of low Earth orbit satellites designed to deliver fast, affordable broadband to unserved and underserved communities around the world. Our Design Verification team is seeking a highly skilled and motivated Senior Formal Verification Engineer to drive formal verification efforts across our complex modem SoC designs.
In this role, you will apply rigorous mathematical methods to prove design correctness and uncover corner-case bugs that escape simulation-based verification. You will serve as a subject matter expert in formal verification methodologies, mentor engineers across the team, and collaborate closely with RTL designers, simulation-based DV engineers, emulation engineers, and architects to shift verification left and improve overall silicon quality.