Jobs
My ads
My job alerts
Sign in
Find a job Career Tips Companies
Find

Senior / staff formal verification engineer

Kings Langley
TN United Kingdom
Verification engineer
€80,000 - €100,000 a year
Posted: 5 June
Offer description

Social network you want to login/join with:

col-narrow-left


Client:

Imagination Technologies


Location:

Kings Langley, United Kingdom


Job Category:

Other

-


EU work permit required:

Yes

col-narrow-right


Job Reference:

93e57012cc53


Job Views:

2


Posted:

17.05.2025


Expiry Date:

01.07.2025

col-wide


Job Description:

The role

The role is for our excellent GPU Hardware team. Our mission is to create through constant innovation the best-in-class GPU IP, for a wide range of market segments and applications.

By joining our team, you will have the opportunity to exercise your skills on cutting-edge designs, work on key building blocks for market-leading chips and deliver significant impact to the future success of our wider team.

You will:

Be responsible for the delivery of formal verification activities related to a GPU component or sub-system from early stages of verification planning to sign-off

Design and implement formal verification strategies to achieve our design quality goals.

Root-cause design issues in collaboration with other engineers.

Research new formal verification techniques and continuously drive the scope of what can be achieved with formal verification.

Create verification plans, develop and maintain formal methodology and complex benches

Track and report verification metrics and closure

Participate in all stages of design specification definition providing feedback from the verification perspective

Be responsible for the definition, effort estimation and tracking of your own work

Be able to influence and advance our GPU verification methodology

Have the opportunity to lead, coach and mentor other members of the team

Participate in design and verification reviews and recommend improvements

Contribute to team shared knowledge via open discussions and presentations

About you

Committed to making your customers, stakeholders and colleagues successful, you’re an excellent communicator, listener and collaborator who builds trusted partnerships by delivering what you say, when you say. You’re curious, solutions orientated and a world-class problem solver who constantly seeks opportunities to innovate and achieve the best possible outcome to the highest imaginable standard.

You'll have:

Have good knowledge on Formal Verification concepts, methodology and tools

Have experience in deploying Formal Verification on complex micro-architectures

Be able to come up with bespoke techniques to drive exhaustive proofs and perform deep bug-hunting

Have exposure of advanced Formal Verification techniques like abstractions, invariants, SEC, etc.

Have knowledge of complex standard bus protocols and relevant ABVIP integration

Have working knowledge of ASIC design methodologies, flows and tools

Be able to plan, estimate and track your own work

You might also have:

Knowledge of GPU/CPU architecture

Knowledge of standard bus protocols (e.g., AMBA5 CHI, AMBA4 ACE or AXI)

Experience in wider verification technologies (UVM, etc)

Knowledge of a scripting language and/or C/SystemC

Understanding of functional safety standards such as ISO26262

Who we are

At Imagination, we love innovating. We spend our time creating the graphics and AI chips that are at the core of your favourite electronic products, and we are expanding our IP portfolio to include RISC-V CPUs as part of our efforts to create the best Compute offering in the market. We have a no-compromise approach to making our technology as high performance and power-efficient as possible, all while being squeezed into the smallest space possible.

It’s this relentless drive to push the boundaries of what’s possible that has led to Imagination powering more than 10 billion of the world’s most iconic electronic devices, from smartphones to smart TVs, from drones to self-driving cars.

We need your skills to help us continue to deliver technology that will impress the industry and our customers alike, ensuring that people everywhere can enjoy smarter and faster tech than ever before.

So come join us if you're wanting that something more

Bring your talent, curiosity and expertise and we’ll help you do the rest. You’ll be part of one of the world’s most exciting companies who are one of the leaders in semiconductor IP solutions.

As a part of our team, you can help us transform, innovate, and inspire the lives of millions through our technology.

#J-18808-Ljbffr

Apply
Create E-mail Alert
Job alert activated
Saved
Save
Similar job
Hardware verification engineer
Kings Langley
Microtech Global Ltd
Verification engineer
Similar job
Hardware verification engineer
Kings Langley
Microtech Global Ltd
Verification engineer
Similar job
Design verification engineer
London
Ic Resources
Verification engineer
See more jobs
Similar jobs
Administration jobs in Kings Langley
jobs Kings Langley
jobs Hertfordshire
jobs England
Home > Jobs > Administration jobs > Verification engineer jobs > Verification engineer jobs in Kings Langley > Senior / Staff Formal Verification Engineer

About Jobijoba

  • Career Advice
  • Company Reviews

Search for jobs

  • Jobs by Job Title
  • Jobs by Industry
  • Jobs by Company
  • Jobs by Location
  • Jobs by Keywords

Contact / Partnership

  • Contact
  • Publish your job offers on Jobijoba

Legal notice - Terms of Service - Privacy Policy - Manage my cookies

© 2025 Jobijoba - All Rights Reserved

Apply
Create E-mail Alert
Job alert activated
Saved
Save