Senior Formal Verification Specialist

1 month ago


Cambridge, Cambridgeshire, United Kingdom IC Resources Full time

Formal Verification Engineer Role

We are seeking a highly skilled Formal Verification Engineer to join our team in Cambridge, UK. As a key member of our engineering team, you will be responsible for developing high-quality formal verification test benches to verify complex designs in GPU.

This is an excellent opportunity to work with our cutting-edge GPU team and contribute to the development of innovative technology solutions. You will have the chance to work closely with design and implementation teams to ensure that our designs meet the highest standards of quality and reliability.

To be successful in this role, you must have several years of experience in ASIC design, verification, or related fields. Your skills should include formal verification (static and dynamic), assertion-based verification, and proficiency in scripting languages such as System Verilog, Verilog, or VHDL.

You should also have experience with design debugging, deep bug hunting, formal test planning, and formal tools such as Jasper and VC-formal. Simulation-based verification using UVM/System Verilog is also essential for this position.

We offer a competitive salary range of £80,000 - £120,000 per annum, depending on your experience and qualifications. You can also expect performance-related bonuses, stock purchase schemes, and a comprehensive benefits package.



  • 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 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

    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 IC Resources Full time

    Job Title: GPU Formal Verification EngineerIn this role, you will be responsible for developing high-quality Formal Verification test benches to verify complex designs in GPUs.About the RoleWe are seeking a skilled Formal Verification Engineer to join our team in Cambridge.About YouYou should have several years of experience in ASIC design, verification, or...


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

    Job Title: Senior SoC Verification SpecialistWe are seeking a highly skilled Senior SoC Verification Specialist to join our team at Microtech Global Ltd. This is a contract-based position, and the work can be performed remotely from the UK.The successful candidate will have extensive experience in deploying Verification Methodologies such as UVM and Formal...


  • 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 Role: We are seeking an experienced Formal Verification Engineer to join our Application Engineering team in Cambridge, working closely with R&D to deliver high-quality Formal Verification solutions.Key Responsibilities:Collaborate with R&D team members to develop and implement Formal Verification strategies.Work with customers to understand and meet...


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

    Microtech Global Ltd is seeking an experienced Senior SoC Verification Specialist to join its UK-based team. As a key member of our design team, you will play a critical role in ensuring the delivery of high-quality SoC designs on time and within budget.About the Role:This challenging and rewarding position requires an individual with a deep understanding of...


  • Cambridge, Cambridgeshire, United Kingdom Microtech Global Full time

    Job Description: We are seeking an experienced Senior Digital Verification Specialist to join our team at Microtech Global. As a key member of our digital verification team, you will be responsible for designing and verifying complex digital systems.About the Role:- Develop and deploy formal verification and simulation techniques to ensure the quality and...


  • Cambridge, Cambridgeshire, United Kingdom IC Resources Full time

    Job OverviewWe are seeking a highly skilled Digital Verification Specialist to apply formal methods to verify the correctness of hardware designs, ensuring systems meet functional specifications and are free of design errors.About the RoleThis position offers a competitive base salary of £60,000 - £80,000 per annum and the opportunity to join IC Resources,...


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

    Job Description:At Microtech Global Ltd, we're looking for a highly skilled Senior SoC Verification Specialist to join our team. As a key member of our engineering team, you'll be responsible for verifying complex units on SoC using industry-standard tools and technologies.About the Role:We're seeking an experienced professional who can develop unit and...


  • Cambridge, Cambridgeshire, United Kingdom Microtech Global Full time

    **Job Title:** Digital Verification Specialist**Location:** UK/Remote**Contract Type:** Contract**Duration:** 6 months**IR35 Status:** InsideWe are looking for a talented Digital Verification Specialist to join our team at Microtech Global. The ideal candidate will have experience in design and verification on SoCs and SoC Methodologies, with a focus on...


  • 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 ZipRecruiter Full time

    **Job Title:** Senior Verification SpecialistOverviewIn this role as a Senior Verification Specialist, you will be responsible for designing and verifying complex digital circuits.Tessolve Semiconductors offers a highly competitive compensation package and benefits to its employees.The salary for this position is estimated at £80,000 - £100,000 per annum,...


  • Cambridge, Cambridgeshire, United Kingdom IC Resources Full time

    IC Resources, based in Cambridge, UK, has an exciting opportunity for an experienced ASIC Design and Verification Specialist to join their Engineering team. In this role, you will contribute to the development of high-quality Formal Verification test benches to verify complex designs.About the Position:This is a challenging and rewarding position that...


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

    Job Title: Advanced Electronics Verification SpecialistWe are seeking a highly skilled Advanced Electronics Verification Specialist to join our team at Microtech Global Ltd.This is a contract position that requires the ability to work remotely from the UK.Job DescriptionThe successful candidate will be responsible for:Verifying advanced electronic designs...


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

    Job DescriptionAt Microtech Global Ltd, we are seeking a highly skilled SOC Verification Engineer to join our team.The ideal candidate will be responsible for deploying verification methodologies such as UVM and Formal Verification, developing testbenches and verification components.This is a contract position with an estimated salary of £45,000 - £55,000...


  • Cambridge, UK, Cambridgeshire, United Kingdom IC Resources Full time

    Formal Verification Engineer - Cambridge (can do remote within the UK)I am seeking a highly skilled and detail-oriented Formal Verification Engineer to join a dynamic start-up. The successful candidate will be responsible for applying formal methods to verify the correctness of hardware designs, ensuring that the systems meet functional specifications and...


  • 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 Microtech Global Ltd Full time

    Job Title: Digital Verification EngineerLocation: UKWe are seeking an experienced Digital Verification Engineer to join our team at Microtech Global Ltd.The estimated salary for this position is around £80,000 per year, considering the location and industry standards.About the Role:This is a 6-month contract opportunity that requires expertise in design and...