Find a job 
Featured Companies 
Featured Universities 
For Companies At a Glance
- Tasks: Lead a team in cutting-edge formal verification for next-gen graphics IP design.
- Company: Join AMD, a leader in innovative computing solutions and collaborative culture.
- Benefits: Enjoy competitive salary, hybrid work, and comprehensive benefits.
- Why this job: Shape the future of AI and graphics technology while advancing your career.
- Qualifications: Experience in formal verification and leadership skills required.
- Other info: Dynamic environment with opportunities for growth and innovation.
The predicted salary is between 43200 - 72000 £ per year.
At AMD, our mission is to build great products that accelerate next-generation computing experiences—from AI and data centers, to PCs, gaming and embedded systems. Grounded in a culture of innovation and collaboration, we believe real progress comes from bold ideas, human ingenuity and a shared passion to create something extraordinary. When you join AMD, you will discover the real differentiator is our culture. We push the limits of innovation to solve the world’s most important challenges—striving for execution excellence, while being direct, humble, collaborative, and inclusive of diverse perspectives. Join us as we shape the future of AI and beyond. Together, we advance your career.
THE ROLE: AMD is looking for a Lead Formal Verification Engineer leader passionate about driving the cutting-edge formal verification techniques for AMD's next generation graphics IP design. The ideal candidate will have proven experience in driving cutting-edge formal verification methodology to achieve industry leading verification quality and productivity under tight schedule. In this role the candidate will work with architecture team, design team and central formal verification team to define our formal verification roadmap, strategy, methodology, infrastructure and expand formal verification adoption through project execution. You will be a member of a core team of incredibly talented industry specialists and will work with the latest and rapidly evolving graphics IP design.
THE PERSON: The ideal candidate should have demonstrated rich experience in formal verification techniques for complicated modern processors (CPU, GPU, AI processor, etc.) and must possess leadership skills to influence and drive a small formal verification team.
KEY RESPONSIBILITIES:
- Lead a small formal verification team, training and developing graduate engineers and executing on project based deliverables.
- Develop cutting-edge formal verification methodology to cover the whole graphics design, including both datapath and control logic.
- Scale formal verification to big and critical design for bug-free quality.
- Expand formal verification adoption to the whole IP development life cycle.
- Resolve challenging convergence issue through world class formal verification techniques like induction, reduction, abstraction, etc.
- Define and drive the best-in-class formal verification infrastructure to improve formal verification productivity.
- Enable more verification engineers to adopt this advanced verification technology without deep formal verification knowledge.
- Stay informed of latest trends and innovations in formal verification.
- Develop technical relationship with broader AMD Design community and peers.
- Drive cross-department innovation and collaboration inside AMD.
PREFERRED EXPERIENCE:
- In-depth knowledge in formal verification algorithms, engines and use cases.
- Proven expertise in system Verilog assertion and abstract model development.
- Expert user of formal verification tool from both academy and EDA vendors (JasperGold, VC formal, Murphi, theorem prover).
- Proven track record of delivering high quality verification under tight schedule for modern, large scale processor design like CPU, GPU or AI processor.
- Comprehensive knowledge of computer architecture and graphics pipeline.
- Proven expertise in developing formal verification infrastructure for FPV, DPV, SEV and other use cases is strongly preferred.
ACADEMIC CREDENTIALS:
- Undergrad degree required.
- Master or PhD degree in Computer Science/ Computer Engineering/ Electrical Engineering preferred.
LOCATION: Bristol, United Kingdom (Hybrid)
Lead Gpu/Ai Formal Verification Engineer in Bristol employer: Advanced Micro Devices, Inc
Contact Detail:
Advanced Micro Devices, Inc Recruiting Team
StudySmarter Expert Advice 🤫
We think this is how you could land Lead Gpu/Ai Formal Verification Engineer in Bristol
✨Tip Number 1
Network like a pro! Reach out to folks in the industry, especially those at AMD. LinkedIn is your best mate here—connect, engage, and don’t be shy to ask for informational chats. You never know who might put in a good word for you!
✨Tip Number 2
Prepare for interviews by diving deep into AMD’s culture and values. They love innovation and collaboration, so think of examples from your past where you’ve demonstrated these traits. Show them you’re not just a fit for the role, but for the team!
✨Tip Number 3
Practice makes perfect! Get a friend or mentor to do mock interviews with you. Focus on technical questions related to formal verification and your leadership experience. The more comfortable you are, the better you’ll perform when it counts.
✨Tip Number 4
Don’t forget to apply through our website! It’s the best way to ensure your application gets seen. Plus, it shows you’re genuinely interested in being part of the AMD family. Let’s get you that dream job!
We think you need these skills to ace Lead Gpu/Ai Formal Verification Engineer in Bristol
Some tips for your application 🫡
Tailor Your Application: Make sure to customise your CV and cover letter to highlight your experience with formal verification techniques. We want to see how your skills align with the role, so don’t hold back on showcasing your expertise!
Show Your Passion: Let your enthusiasm for cutting-edge technology shine through in your application. We love candidates who are excited about innovation and collaboration, so share your thoughts on the future of AI and graphics design!
Be Clear and Concise: When writing your application, keep it straightforward and to the point. Use clear language to describe your achievements and experiences, as this will help us quickly understand your fit for the role.
Apply Through Our Website: We encourage you to submit your application directly through our website. This way, you’ll ensure that your application is seen by the right people and you’ll be one step closer to joining our amazing team!
How to prepare for a job interview at Advanced Micro Devices, Inc
✨Know Your Formal Verification Inside Out
Make sure you brush up on the latest formal verification techniques and tools like JasperGold and VC formal. Be ready to discuss your hands-on experience with these tools and how you've applied them in past projects.
✨Showcase Your Leadership Skills
Since this role involves leading a small team, prepare examples of how you've successfully managed or mentored others. Highlight any experiences where you drove a project to completion under tight deadlines while fostering collaboration.
✨Understand AMD's Culture
Familiarise yourself with AMD's mission and values. They value innovation, collaboration, and inclusivity, so think about how your personal values align with theirs and be ready to share your thoughts during the interview.
✨Prepare for Technical Questions
Expect in-depth technical questions related to formal verification algorithms and methodologies. Practice explaining complex concepts clearly and concisely, as you'll need to demonstrate your expertise in a way that's accessible to others.
