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 required.
- Other info: Dynamic environment with a focus on innovation and collaboration.
The predicted salary is between 36000 - 60000 £ per year.
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 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: CareerArc
Contact Detail:
CareerArc 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 us insights into the company culture and maybe even a referral!
✨Tip Number 2
Show off your skills! Prepare a portfolio or a presentation that highlights your experience with formal verification techniques. This will help us stand out during interviews and showcase our expertise.
✨Tip Number 3
Practice makes perfect! Conduct mock interviews with friends or use online platforms. This will help us refine our answers and boost our confidence before facing the real deal.
✨Tip Number 4
Don’t forget to apply through our website! It’s the best way to ensure your application gets noticed. Plus, it shows us you’re genuinely interested in joining the AMD team.
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 align with the Lead GPU/AI Formal Verification Engineer role. Highlight your expertise in formal verification techniques and any leadership experience you have, as this will show us you're a great fit for the team.
Craft a Compelling Cover Letter: Your cover letter is your chance to shine! Use it to express your passion for innovation and collaboration, and explain how your background makes you the perfect candidate for AMD. Don’t forget to mention specific projects or achievements that demonstrate your capabilities.
Showcase Your Technical Skills: In your application, be sure to highlight your knowledge of formal verification algorithms and tools like JasperGold or VC formal. We want to see how your technical expertise can contribute to our cutting-edge projects, 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 serious about joining our innovative team at AMD!
How to prepare for a job interview at CareerArc
✨Know Your Formal Verification Stuff
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, be prepared to share examples of how you've successfully trained and developed junior engineers. Highlight any experiences where you influenced project outcomes through collaboration and mentorship.
✨Understand AMD's Culture
AMD values innovation and collaboration, so demonstrate your understanding of their mission and culture during the interview. Share how your personal values align with theirs and how you can contribute to their goal of pushing the limits of technology.
✨Prepare for Technical Questions
Expect technical questions that dive deep into formal verification algorithms and methodologies. Practice explaining complex concepts clearly and concisely, as well as discussing how you've tackled challenging convergence issues in previous roles.
