Formal Verification Expert

2 weeks ago


Cambridge, United Kingdom IC Resources Full time

A top company is looking for a Formal Verification Engineer to join their cutting-edge GPU team in Cambridge, UK.

As a Formal Verification Engineer, you will develop high-quality Formal Verification test benches to verify complex designs in GPU.

The key qualifications include several years of ASIC design, verification, or related work experience.

  • Verification skills: Formal verification (Static and Dynamic), Assertion based verification.
  • System Verilog, Verilog or VHDL, Scripting skills required.
  • Design debug, Deep bug hunting, Formal test planning, Formal tools – Jasper, VC-formal.
  • Simulation based verification using UVM/System Verilog

Salary: £60000 - £80000 per annum, stock and performance-related bonus, stock purchase scheme and an array of different insurances are offered.



  • Cambridge, Cambridgeshire, United Kingdom IC Resources Full time

    Job DescriptionWe are seeking a Formal Verification Engineer to join an Engineering team in the UK. The successful candidate will work on high-quality Formal Verification test benches for complex GPU designs.This role involves collaboration with design and implementation teams to verify designs using formal methodologies and tools. Proficiency in debugging,...


  • Cambridge, Cambridgeshire, United Kingdom IC Resources Full time

    Salary: £80,000 - £110,000 per annum. Our client, a leading Technology Company based in Cambridge, is seeking a highly skilled Formal Verification Engineer to join their GPU team. As a key member of this team, you will be responsible for developing high-quality formal verification test benches to verify complex designs in GPUs. This role involves working...


  • Cambridge, Cambridgeshire, United Kingdom IC Resources Full time

    As a Formal Verification Engineer at IC Resources, you will be working with our cutting-edge GPU team in Cambridge, UK. Your primary responsibility will be to develop high-quality Formal Verification test benches to verify complex designs.About the Role:This is a challenging position that requires several years of ASIC design, verification, or related work...


  • Cambridge, Cambridgeshire, United Kingdom Qualcomm Full time

    Job Overview:Qualcomm is seeking a highly skilled Graphics Formal Verification Engineer to join our team in Cambridge, UK.The ideal candidate will have 6+ years of experience in ASIC design, verification, or related fields and a strong understanding of graphics formal verification principles.This is an excellent opportunity to contribute to cutting-edge...


  • Cambridge, Cambridgeshire, United Kingdom IC Resources Full time

    Job DescriptionWe are seeking a highly skilled Formal Verification Expert to join our cutting-edge GPU team in Cambridge, UK.The successful candidate will work closely with design and implementation teams to verify complex designs using high-quality formal verification test benches.Key Responsibilities:Develop and implement formal verification methodologies...


  • Cambridge, Cambridgeshire, United Kingdom IC Resources Full time

    Job Title: Digital Verification ExpertLocation: Cambridge, UK (remote within the UK)We are seeking a highly skilled and detail-oriented Formal Verification Engineer to join our team. The successful candidate will be responsible for applying formal methods to verify the correctness of hardware designs, ensuring that the systems meet functional specifications...


  • Cambridge, Cambridgeshire, United Kingdom Microtech Global Ltd Full time

    Job OverviewWe are seeking a highly skilled Digital Verification Expert to join our team at Microtech Global Ltd.The successful candidate will be based in the UK and will have the opportunity to work remotely.Key ResponsibilitiesDeploying Verification Methodologies such as UVM and Formal VerificationDeveloping Testbenches and Verification...


  • Cambridge, Cambridgeshire, United Kingdom Microtech Global Ltd Full time

    Job Title: Digital Verification ExpertWe are seeking a skilled Digital Verification Expert to join our team at Microtech Global Ltd. Based in the UK, this role offers the opportunity to work on complex verification projects for System-on-Chip (SoC) designs.About the Role:The ideal candidate will have experience in deploying verification methodologies such as...


  • Cambridge, Cambridgeshire, United Kingdom Microtech Global Ltd Full time

    We are seeking a highly skilled Verification Engineering Expert to join our team at Microtech Global Ltd. As a senior engineer, you will play a critical role in driving the development and implementation of cutting-edge verification methodologies and tools.About the Role:The successful candidate will have extensive experience in digital verification...


  • Cambridge, Cambridgeshire, United Kingdom IC Resources Full time

    Company OverviewIC Resources is an early-stage start-up with a focus on providing innovative solutions in the Semiconductor space.Required Skills and QualificationsEducational Background:Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field.Experience:Proven experience with formal verification...


  • Cambridge, Cambridgeshire, United Kingdom Microtech Global Ltd Full time

    SoC Verification Engineer RequiredMicrotech Global Ltd is seeking a highly skilled SOC Verification Engineer to join our team.The ideal candidate will have a strong background in digital verification, with experience in deploying verification methodologies such as UVM and Formal Verification.This is a contract position with an estimated salary of £42,000 -...


  • Cambridge, Cambridgeshire, United Kingdom Microtech Global Ltd Full time

    Requirements and QualificationsTo be considered for this role, you must have:- 8-12 years of experience in SoC verification- Proficiency in developing unit and subsystem level testbenches using SV/UVM methodology- Experience with constrained random and metrics-driven verification- Experience with C model integration and scoreboarding FW code integration...


  • Cambridge, Cambridgeshire, United Kingdom IC Resources Full time

    About the Role: We are looking for a talented Formal Method Engineer to join our dynamic start-up in Cambridge. As a key member of our team, you will be responsible for developing and maintaining formal verification methodologies and scripts, ensuring that our hardware designs meet the highest standards of quality and reliability.Responsibilities:Develop,...


  • Cambridge, Cambridgeshire, United Kingdom Microtech Global Ltd Full time

    Job Overview:\We are seeking an experienced SoC Verification Engineer to join our team at Microtech Global Ltd. As a key member of our engineering department, you will play a critical role in ensuring the quality and reliability of our products.\Responsibilities:\\Design and develop testbenches and verification components using UVM and Formal...


  • Cambridge, Cambridgeshire, United Kingdom Microtech Global Ltd Full time

    System-on-Chip (SoC) Verification Job OpportunityMicrotech Global Ltd is seeking an experienced Digital Verification Engineer to fill a 6-month contract position in the UK.The role involves designing and verifying complex systems-on-chip (SoCs) and requires expertise in testbenches, constrained random, and metrics-driven verification.The estimated salary for...


  • Cambridge, Cambridgeshire, United Kingdom European Tech Recruit Full time

    Job Title: Digital Verification ExpertAs a Digital Verification Expert at European Tech Recruit, you will be responsible for implementing and executing comprehensive verification strategies to ensure the quality of our System-on-Chip (SoC) designs. This is an exciting opportunity to work with cutting-edge technology and contribute to the development of...


  • Cambridge, Cambridgeshire, United Kingdom European Tech Recruit Full time

    CPU Verification ExpertEuropean Tech Recruit is seeking an experienced CPU Verification Expert to join their team in Cambridge, UK. The estimated salary for this role is £90,000 - £110,000 per year.The company is a global leader in the semi-conductor and software design industry and is entering a new growth phase to provide new technologies and products...


  • Cambridge, Cambridgeshire, United Kingdom Microtech Global Ltd Full time

    Contract SoC Verification Specialist:Microtech Global Ltd is hiring a Contract SoC Verification Specialist to join our team. As a specialist in SoC Verification Methodologies, you will have the opportunity to work on exciting projects and contribute to the success of our company.Responsibilities:Deploying Verification Methodologies such as UVM and Formal...


  • Cambridge, United Kingdom IC Resources Full time

    Formal Verification EngineerCambridgeI am seeking a Formal Verification Engineer to join an excellent Engineering team in their UK headquarters based in Cambridge.As a Formal Verification Engineer, you will join a cutting-edge GPU team developing high-quality Formal Verification test benches to verify complex designs in GPU. This position involves working...


  • Cambridge, Cambridgeshire, United Kingdom Microtech Global Ltd Full time

    Job Title: Digital Verification EngineerWe are seeking a highly skilled SoC Verification Engineer to join our team in the UK. This role requires experience in design and verification on System-on-Chip (SoC) technology.About the Role:The successful candidate will be responsible for developing high-quality test plans based on Design documents and interacting...