26 Oct
|
Amazon
|
Western Australia
26 Oct
Amazon
Western Australia
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
#J-*****-Ljbffr
📌 Senior Formal Verification Engineer: Ai-Driven Soc (Western Australia)
🏢 Amazon
📍 Western Australia