GPU Formal Verification Expert

2 weeks ago


Kings Langley, Hertfordshire, United Kingdom Imagination Technologies Full time

Role Overview

">

The role is for our exceptional GPU Hardware team, responsible for creating leading-edge GPU IP. Our mission is to develop innovative solutions that cater to various market segments and applications.

">

You will have the opportunity to work on cutting-edge designs, collaborate with key stakeholders, and contribute significantly to the success of our wider team.

">

Key Responsibilities

">
  • Deliver formal verification activities related to a GPU component or sub-system from early stages to sign-off.
  • Design and implement formal verification strategies to achieve design quality goals.
  • Collaborate with engineers to root-cause design issues.
  • Research new formal verification techniques and drive the scope of achievable outcomes.
  • Create verification plans, develop methodologies, and maintain complex benches.
  • Track and report verification metrics and closure.
  • Participate in all stages of design specification definition, providing feedback from the verification perspective.
  • Define, estimate, and track your own work.
  • Influence and advance our GPU verification methodology.
  • Lead, coach, and mentor other team members.
  • Participate in design and verification reviews, recommending improvements.
  • Contribute to shared knowledge through open discussions and presentations.
">

About You

">

We seek an excellent communicator, listener, and collaborator who builds trusted partnerships by delivering on commitments. You should be curious, solution-oriented, and a world-class problem solver, constantly seeking opportunities to innovate and achieve the best possible outcome.

">

Required Skills and Qualifications

">
  • Good knowledge of Formal Verification concepts, methodology, and tools.
  • Experience in deploying Formal Verification on complex micro-architectures.
  • Able to create bespoke techniques for exhaustive proofs and deep bug-hunting.
  • Exposure to advanced Formal Verification techniques like abstractions, invariants, SEC, etc.
  • Familiarity with complex standard bus protocols and ABVIP integration.
  • Knowledge of ASIC design methodologies, flows, and tools.
  • Able to plan, estimate, and track your own work.
">

Salary Information

">

The estimated salary range for this role is £80,000 - £120,000 per annum, depending on location and experience.

">

Benefits

">

We offer a competitive benefits package, including health insurance, retirement planning, and paid time off.

">

Others

">

Imagination Technologies is a leader in semiconductor IP solutions, committed to innovation and excellence. We empower talented individuals to transform, innovate, and inspire lives through technology.



  • Kings Langley, Hertfordshire, United Kingdom Imagination Technologies Full time

    Formal Verification Specialist - GPU IP">We are seeking an experienced Formal Verification Specialist to join our esteemed GPU Hardware team. As a key member, you will play a crucial role in developing and implementing Formal Verification strategies for leading-edge GPU IP solutions.">Your primary responsibilities will include designing and implementing...


  • Kings Langley, Hertfordshire, United Kingdom Imagination Technologies Full time

    About the Role">We are seeking a highly skilled Senior Formal Verification Engineer to join our esteemed GPU Hardware team. As a key member, you will play a pivotal role in developing leading-edge GPU IP solutions for various market segments and applications.">Your primary responsibilities will include delivering formal verification activities related to GPU...


  • Kings Langley, Hertfordshire, United Kingdom Imagination Technologies Full time

    Imagination TechnologiesWe are seeking a highly skilled and experienced Formal Verification Engineer to join our exceptional GPU Hardware team. Our mission is to create innovative, high-performance GPU IP for diverse market segments and applications.In this role, you will have the opportunity to work on cutting-edge designs, develop key building blocks for...


  • Kings Langley, Hertfordshire, United Kingdom Imagination Technologies Full time

    About UsImagination Technologies is a leader in semiconductor IP solutions, powering over 10 billion electronic devices worldwide. Our relentless drive to innovate has led us to create high-performance and power-efficient graphics and AI chips, as well as RISC-V CPUs.We are now seeking an experienced Senior GPU Architectural Engineer to join our team in...


  • Kings Langley, Hertfordshire, United Kingdom Imagination Technologies Full time

    The RoleImagination Technologies is seeking a highly skilled GPU Design Lead to join our prestigious PowerVR Hardware Graphics group. As a key member of our team, you will exercise your expertise in designing cutting-edge GPU micro-architectures that meet the latest demands for graphics performance and power efficiency.ResponsibilitiesInvestigate, specify,...


  • Kings Langley, United Kingdom Imagination Technologies Full time

    The roleThis position is a unique opportunity to exercise your hardware verification skills on cutting edge designs within the prestigious PowerVR Hardware Graphics group. Here you will exercise your skills on key components that meet latest demands and improvements for graphics, AI or connectivity processor and related IP.You will: Be responsible for the...


  • Kings Hill, Kent, United Kingdom Watchfinder Full time

    We are currently seeking a Talent Acquisition Partner to join our team at Watchfinder. As a key member of our HR Team, this role plays a critical part in shaping the future of our organization through strategic talent acquisition.About the Job:In this role, you will be responsible for identifying, engaging, and animating a pipeline of candidates for various...


  • Kings Hill, United Kingdom Charities Aid Foundation Full time

    Job title:               Economic Crime Officer Job reference:     RC135 Contract:              Permanent, full time, 35 hours per week Salary:                 Up to £33,000 per annum (depending on experience)   Location:              Kings Hill or London based with hybrid working (minimum 2...