Imagination Technologies
GPU Formal Verification Engineer

How your CV stacks up
Upload your CV to see how well it fits this job role
?%
GPU Formal Verification Engineer
The role
The role is for our fast-growing 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
Reasons to use Rodeo
I’m in my final year doing Economics and I don’t know whether to apply for grad schemes now or do a masters first. What do you think?
Honest answer — it depends on where you want to end up. A lot of top grad schemes (Big 4, civil service, banking) don’t need a masters. Let’s look at the ones you’d be competitive for now, and we can decide if a masters actually adds anything.
Also worth knowing: most autumn 2026 applications are open now. Timing matters more than you think.
Start with a chat, not a search bar
Grad scheme, placement, apprenticeship? Not sure what you want yet — that's fine. Your agent talks it through with you and turns "I have no idea" into a shortlist.
Graduate Consultant — 2026 Scheme
Why you're a good match
StrongYour economics background and your summer at a regional bank line up with what PwC looks for on the consulting scheme. Applications close in four weeks.
See breakdownIt searches the market for you
Every day your agent scans the market matching roles against what actually matters to you, not just keywords on a CV.
Why you're a good match
You’ve got the grades and the economics background, and your bank internship is exactly the experience this scheme looks for. Apply soon — deadlines close within the month.
Experience fit
Your summer at the bank plus your econometrics coursework map directly to the day-one responsibilities on this scheme — client modelling, market briefings, and deal support.
Only hits
No noise. No "maybe this fits." Just roles with a clear explanation of why they're right — and where to focus when applying.
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


Get help with your application
Your very own career expert that helps elevate your application to the next level.
Who We Are
Imagination is a UK-based company that creates silicon and software IP designed to give its customers an edge in competitive global technology markets. Its GPU and AI technologies enable outstanding power, performance, and area (PPA), fast time-to-market, and lower total cost of ownership. Products based on Imagination IP are used by billions of people across the globe in their smartphones, cars, homes, and workplaces.
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.
Additional Information
If you encounter accessibility barriers in the application process or if you have access needs and require support or adjustments to participate equitably in the recruitment process, please email recruitment@imgtec.com.
“It took my CV and asked me questions relevant to understanding what kind of jobs to suggest for me. Suggestions were almost perfect. Jobs were exactly what I’ve been looking for.”
Jessica, London
Skills