Skip to main content

Senior CPU Formal Verification Engineer

Senior CPU Formal Verification Engineer

Website Imagination Technologies

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.

Hybrid Working Model

Imagination Technologies operates a hybrid working model globally that allows our employees to split their time between attending the workplace and working remotely.


What you’ll be doing
The role is for our fast-growing CPU Hardware team. We are expanding our CPU IP development from internal use to support an extensive portfolio offering highly competitive RISC-V CPUs, either as standalone IPs or as part of Imagination’s Heterogeneous Compute offering, which includes our world-class GPU and NNA compute elements. Our mission is to create through constant innovation the best-in-class RISC-V CPUs 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 CPU 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 CPU 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
Who you are
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 will:

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 CPU/GPU 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 do you want to be?
Do you dare to think big? Do you want to change the status quo and speak up when you see how there’s a better way of doing things? We listen, we’re supportive and we’re open to new ideas. Whatever it takes to make an impact, you’ll be respected and helped along the way.


We will value you
At Imagination, clear and shared values are important to us. They are the foundation on which everything else is built. We have five core values that underpin our culture and the way we work together, both as colleagues and as business partners. We believe in these values and are committed to putting them at the heart of everything we do.

Our values are:


For more information on what these values mean to us visit

Diversity and inclusion
Our headquarters are based in the UK, but we have a global outlook. We have office locations around the world to attract the most talented technical minds and to support key regional markets in the best way possible. Across our divisions, we employ specialists from over 40 nationalities who are passionate about their craft and the industry we’re in.

We are committed to providing employment opportunities regardless of age, disability, gender, marriage and civil partnership, pregnancy and maternity, race, religion or belief, sex, sexual orientation, or any other protected characteristic by law. If there are preparations we can make to help ensure you have a positive interview experience, please let us know.

To apply for this job please visit

View All Jobs

Stay Connected With RISC-V

We send occasional news about RISC-V technical progress, news, and events.