GPU Formal Verification Expert
2 weeks ago
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.
-
GPU Hardware Formal Verification Specialist
2 weeks ago
Kings Langley, Hertfordshire, United Kingdom Imagination Technologies Full timeFormal 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...
-
Senior Formal Verification Engineer
2 weeks ago
Kings Langley, Hertfordshire, United Kingdom Imagination Technologies Full timeAbout 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...
-
Thorough Verification Expert for GPU Hardware
3 weeks ago
Kings Langley, Hertfordshire, United Kingdom Imagination Technologies Full timeImagination 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...
-
Senior GPU Architectural Engineer
3 weeks ago
Kings Langley, Hertfordshire, United Kingdom Imagination Technologies Full timeAbout 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...
-
Staff/Principal GPU Design Engineer
3 weeks ago
Kings Langley, Hertfordshire, United Kingdom Imagination Technologies Full timeThe 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,...
-
Senior / Staff GPU Verification Engineer
6 months ago
Kings Langley, United Kingdom Imagination Technologies Full timeThe 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...
-
Proactive Recruitment Specialist
3 weeks ago
Kings Hill, Kent, United Kingdom Watchfinder Full timeWe 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...
-
Economic Crime Officer
1 month ago
Kings Hill, United Kingdom Charities Aid Foundation Full timeJob 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...