Semiconductor Engineering is seeking a Formal Verification Engineer in Hemel Hempstead, United Kingdom. This role involves executing formal verification activities to ensure the quality and correctness of complex hardware designs and mentoring junior engineers.
Key responsibilities include developing verification environments, contributing to equivalence checking, debugging, and collaborating closely with design teams to achieve verification closure. The successful candidate will foster improvements in verification flows and be involved in running formal analysis to identify hardware bugs.
#J-18808-Ljbffr
