Amazon is seeking a Senior Formal Verification Engineer to advance our modem SoC effort in the Leo Silicon Team. You will apply rigorous mathematical methods to prove design correctness and uncover corner-case bugs beyond simulation, mentoring engineers and collaborating with RTL, DV, and architecture teams.
This role emphasizes a formal-first mindset, with opportunities to integrate AI-assisted SVA generation and advanced verification flows, across NoC, interconnects, and modem IPs, while