At a Glance
- Tasks: Join our GPU Hardware team to innovate and verify cutting-edge designs.
- Company: Fast-growing tech company focused on best-in-class GPU IP.
- Benefits: Competitive salary, career growth, and opportunities to lead and mentor.
- Other info: Collaborative environment with opportunities for continuous learning and development.
- Why this job: Make a real impact on market-leading chips and drive innovation.
- Qualifications: Knowledge of Formal Verification and experience with complex micro-architectures.
The predicted salary is between 50000 - 70000 £ per year.
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.
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:
- Good knowledge on Formal Verification concepts, methodology and tools.
- Experience in deploying Formal Verification on complex micro‑architectures.
- Ability to come up with bespoke techniques to drive exhaustive proofs and perform deep bug‑hunting.
- Exposure to advanced Formal Verification techniques like abstractions, invariants, SEC, etc.
- Knowledge of complex standard bus protocols and relevant ABVIP integration.
- Working knowledge of ASIC design methodologies, flows and tools.
- Ability 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.
GPU Formal Verification Engineer in Bristol employer: Imagination Technologies Limited
As a GPU Formal Verification Engineer, you will join a dynamic and innovative team in Cambridge, Kings Langley, or Bristol, where collaboration and creativity are at the heart of our work culture. We offer a supportive environment that encourages professional growth through mentorship and continuous learning, alongside competitive benefits that enhance your work-life balance. With a commitment to cutting-edge technology and a focus on delivering high-quality results, we empower our employees to make a significant impact in the rapidly evolving field of GPU hardware.
Contact Details:
Imagination Technologies Limited Recruitment Team
StudySmarter Expert Advice🤫
We think this is how you could land GPU Formal Verification Engineer in Bristol
✨Tip Number 1
Network like a pro! Reach out to folks in the industry, attend meetups or webinars, and connect with potential colleagues on LinkedIn. You never know who might have the inside scoop on job openings or can put in a good word for you.
✨Tip Number 2
Show off your skills! Create a portfolio or GitHub repository showcasing your projects related to formal verification. This gives you a chance to demonstrate your expertise and passion for GPU technology beyond just your CV.
✨Tip Number 3
Prepare for interviews by brushing up on common technical questions and scenarios related to GPU verification. Practice explaining your thought process clearly, as communication is key in our field. We want to see how you tackle problems!
✨Tip Number 4
Don’t forget to apply through our website! It’s the best way to ensure your application gets seen by the right people. Plus, it shows you’re genuinely interested in joining our team at StudySmarter.
We think you need these skills to ace GPU Formal Verification Engineer in Bristol
Some tips for your application 🫡
Tailor Your CV:Make sure your CV is tailored to the GPU Formal Verification Engineer role. Highlight your experience with formal verification concepts and any relevant projects you've worked on. We want to see how your skills align with our mission!
Craft a Compelling Cover Letter:Your cover letter is your chance to shine! Use it to explain why you're passionate about GPU technology and how you can contribute to our team. Be sure to mention specific techniques or methodologies you’ve used in the past.
Showcase Your Problem-Solving Skills:In your application, don’t forget to showcase your problem-solving abilities. Share examples of how you've tackled complex verification challenges and what innovative solutions you came up with. We love a good story!
Apply Through Our Website:We encourage you to apply through our website for the best chance of getting noticed. It’s super easy, and you’ll be able to keep track of your application status. Plus, we love seeing applications come directly from our site!
How to prepare for a job interview at Imagination Technologies Limited
✨Know Your Formal Verification Inside Out
Make sure you brush up on your knowledge of formal verification concepts and methodologies. Be ready to discuss specific techniques you've used in the past, especially those related to complex micro-architectures. This will show that you're not just familiar with the theory but have practical experience too.
✨Showcase Your Problem-Solving Skills
Prepare to share examples of how you've tackled challenging verification issues. Think about times when you had to innovate or come up with bespoke techniques for exhaustive proofs. This will highlight your ability to think critically and creatively, which is crucial for this role.
✨Communicate Effectively
Since the role requires collaboration with other engineers, practice articulating your thoughts clearly. Be prepared to explain complex ideas in a way that's easy to understand. Good communication can set you apart, so don’t underestimate its importance!
✨Be Ready to Discuss Metrics and Tracking
Familiarise yourself with how to track and report verification metrics. Be prepared to discuss your approach to effort estimation and how you manage your workload. This shows that you’re organised and can take ownership of your projects, which is key for success in this position.
