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 opportunities for professional growth.
- Why this job: Shape the future of AI and graphics technology while advancing your career.
- Qualifications: Experience in formal verification and leadership skills are essential.
- Other info: Be part of a dynamic team driving innovation in a fast-paced environment.
The predicted salary is between 36000 - 60000 £ per year.
WHAT YOU DO AT AMD CHANGES EVERYTHING. At AMD, our mission is to build great products that accelerate next-generation computing experiences—from AI and data centres, 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’ll 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
Contact Detail:
Advanced Micro Devices 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 current AMD employees on LinkedIn or at industry events. A friendly chat can give you insider info and maybe even a referral, which can really boost your chances.
✨Tip Number 2
Prepare for the interview by diving deep into AMD's latest projects and innovations. Show us that you're not just another candidate; demonstrate your passion for cutting-edge technology and how you can contribute to our mission.
✨Tip Number 3
Practice your technical skills! Brush up on formal verification techniques and be ready to discuss your past experiences. We want to see how you tackle challenges and lead teams in high-pressure situations.
✨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 serious about joining the AMD family.
We think you need these skills to ace Lead GPU/AI Formal Verification Engineer in Bristol
Some tips for your application 🫡
Tailor Your CV: Make sure your CV reflects the skills and experiences that match the Lead GPU/AI Formal Verification Engineer role. Highlight your expertise in formal verification techniques and any leadership experience you've had, as this is key for us.
Craft a Compelling Cover Letter: Your cover letter is your chance to show us your passion for innovation and collaboration. Share specific examples of how you've driven formal verification methodologies in past roles and how you can contribute to AMD's mission.
Showcase Your Technical Skills: Be sure to include any relevant technical skills, especially in formal verification tools like JasperGold or VC formal. We want to see your hands-on experience with these technologies, so don’t hold back!
Apply Through Our Website: We encourage you to apply directly through our website. It’s the best way for us to receive your application and ensures you’re considered for the role. Plus, it shows us you're keen on joining our team!
How to prepare for a job interview at Advanced Micro Devices
✨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 trained and developed others. Highlight any experiences where you influenced project outcomes or drove collaboration across teams.
✨Understand AMD's Culture
Familiarise yourself with AMD's mission and values. Be prepared to discuss how your personal values align with their culture of innovation, collaboration, and inclusivity. This will show that you're not just a fit for the role, but also for the company.
✨Prepare for Technical Questions
Expect in-depth technical questions related to computer architecture and graphics pipelines. Brush up on your knowledge of system Verilog assertions and be ready to solve problems on the spot to demonstrate your expertise.
