The role
We are seeking someone for with the right level of formal verification experience, desire, and drive to contribute to the creation of a best-in class RISC-V CPU verification technology. The CPU HW team is responsible for the delivery of our CPU IP roadmap and we are committed to set the bar around verification quality and innovation within the RISC-V ecosystem.
The successful candidate will be responsible for leading the CPU Formal Verification team, by developing and executing on our Formal Verification project strategy.
More specifically, the role will give you the opportunity to contribute in the following two areas:
- CPU Product delivery: Be part of a product development team owning the product’s formal verification strategy and execution. Our roadmap considers a wide range of CPU technology and you will have the opportunity to learn and verify complex architectural and micro-architectural features.
- CPU Verification Technology: Engage with and contribute to groundbreaking concepts in CPU formal verification, which will push the boundaries of traditional approaches. Our verification ethos encourages continual exploration and experimentation with new ideas to enhance the quality and efficiency of our formal verification processes.
You will:
- Be a key member of the CPU HW engineering team, able to directly influence the future success of the group.
- Define the Formal Verification Strategy for each project, in collaboration with the Technical and Verification Leads.
- Be responsible for the planning, execution, and sign-off of a project’s formal verification activities.
- Be accountable for evolving our CPU formal verification methodology.
- Have the opportunity to lead and mentor other members of the team.
- Have the opportunity to develop your CPU knowledge and related formal verification skills by working alongside other experienced and expert engineers.
- Participate in design and verification project reviews.
- Evaluate and deploy cutting-edge techniques to our formal verification flows.
- Engage with the EDA industry to drive Formal Verification tool improvements.
- Contribute to the formal verification training of our engineers.
- Contribute to team knowledge sharing sessions via open discussions and presentations.
- Contribute to external conferences via posters 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:
- A proven track record of ownership and technical leadership of significant formal verification activities.
- Expert knowledge on formal verification concepts, methodology, and tools.
- An excellent understanding of advanced formal verification techniques like invariants, assume-guarantee reasoning, and abstractions.
- The ability to come up with bespoke techniques to drive exhaustive proofs and perform bug-hunting.
- Strong leadership and communication skills with the ability to influence stakeholders and inspire the engineering team.
- The ability to demonstrate effective critical analysis and proven decision-making skills, with the capability to present complex ideas in simple terms.
You might also have:
- Domain-specific knowledge of the RISC-V Instruction Set Architecture.
- Experience with Jenkins/Jenkinsfiles/Groovy and Continuous Integration.
- Experience with Git and good source code management practices.
- Experience in engagement with constructive feedback via code review.
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.
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.
