Great opportunity for a Formal Verification Engineer with a proven track record of verifying complex FPGA or ASIC designs within the Semiconductor industry. Youll play a key role in an innovative High-Tech company revolutionizing wired connectivity and pushing the boundaries of AI related innovation. A great salary package will be offered with Hybrid working and career development opportunities. Skills and experience for the Formal Verification Engineershould include: Bachelors / Masters Degree in Electronics related discipline. 5 years experience of working within the semiconductor industry. Proven experience in the Verification of complex designs - FPGA or ASIC. Good scripting skills (Python, Perl or TCL for automation). Working with RTL designers to develop a formal micro-architecture specification. In-depth understanding of Formal Verification techniques. Strong knowledge on Metrics-driven verification including test planning and coverage closure. Proficiency in temporal logic assertion based languages such as SVA or PSL. Of particular interest is knowledge of Cadence JasperGold and VManager and familiarity with SerDes and high level protocols. The successful Formal Verification Engineer will take responsibility for developing formal verification methodologies; participating in RTL design reviews, preparing design verification plans as well as tracking and closing design bugs.