Senior Formal Verification Engineer - GFXIP Blocks

A leading technology company is seeking a Senior Formal Verification Engineer in Cambridge, UK. This hybrid role involves owning formal verification processes for complex GFXIP blocks while collaborating closely with design and technical leads. The ideal candidate has 2-4 years of experience in formal verification, strong analytical skills, and proficiency with formal tools. You will drive closure on verification quality metrics and contribute to automation methodologies, supporting a collaborative engineering culture.