At a Glance
- Tasks: Lead cutting-edge formal verification for AMD's next-gen graphics IP design.
- Company: Join AMD, a leader in innovative computing solutions.
- Benefits: Enjoy hybrid work, competitive salary, and comprehensive benefits.
- Other info: Collaborative culture with opportunities for career advancement.
- Why this job: Shape the future of AI and graphics technology with a passionate team.
- Qualifications: Experience in formal verification and strong leadership skills required.
The predicted salary is between 63000 - 77000 £ 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’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 GPU 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. The candidate will be the primary point of contact for all GFXIP formal verification practice. 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 the whole formal verification team in GFXIP. Able to communicate effectively and work optimally with different teams across the organization.
Key Responsibilities
- Define long‑term strategy for formal verification expansion and steer the technical roadmap.
- 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.
- Lead the research group for emerging formal verification domains like security, safety, low power, architect level formal verification, etc.
- Explore the feasibility of formalizing ISA and memory model for GFXIP design.
- 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 tools 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 Cambridge, United Kingdom (Hybrid)
Staff Formal Verification Engineer (GPU) in Cambridge employer: AMD
AMD in Cambridge offers an exceptional work environment for Senior CPU Verification Engineers, fostering a culture of innovation and collaboration. Employees benefit from competitive compensation, comprehensive professional development opportunities, and the chance to work on cutting-edge technology in a vibrant tech hub. With a focus on teamwork and communication, AMD ensures that every team member can contribute meaningfully to the success of their projects.
StudySmarter Expert Advice🤫
We think this is how you could land Staff Formal Verification Engineer (GPU) in Cambridge
✨Join Local Tech Meetups
Get out there and mingle with fellow developers by joining local tech meetups. It’s a fantastic way to meet people who might be working at AMD or know someone who does. Plus, you can pick up some trendy tech skills and trends while you're at it!
✨Contribute to Open Source Projects
Show off your coding chops by jumping into open-source projects. Not only does this give you practical experience, but it also gets you noticed in the dev community. You'll create a killer portfolio that speaks volumes about your skills to AMD.
✨Tap into Online Developer Communities
Don’t underestimate the power of online developer communities like GitHub, Stack Overflow, and even Reddit. Participate in discussions, share your projects, and build your visibility. We can often find opportunities through these channels that can lead to a full-time gig at companies like AMD.
✨Explore Job Boards Specifically for Tech Roles
Keep your eyes peeled on job boards that focus on tech roles. Sites like TechCareers or Stack Overflow Jobs can often have listings for companies like AMD that might not show up on broader job sites. Make it a habit to check these regularly, and don’t hesitate to apply directly through our website!
We think you need these skills to ace Staff Formal Verification Engineer (GPU) in Cambridge
Some tips for your application 🫡
Show off your coding skills:When applying for a software engineering role, it's super important to showcase your coding skills. Make sure your CV includes your tech stack, any relevant programming languages you’re comfortable with, and examples of projects you've worked on. If you have a GitHub profile, link it up! We love to see code in action.
Tailor your portfolio:For a full-time role, we’d expect to see some solid examples of your work in your portfolio. Make sure to include at least two or three projects that highlight your problem-solving skills and your ability to work with different technologies. Focus on the projects that are most relevant to the position at AMD.
Craft a killer cover letter:Your cover letter is your chance to stand out—make it personal! Explain why you want to work at AMD and how your skills align with the role. Show us your passion for software development. We dig enthusiastic candidates who understand the value of collaboration and continuous learning!
Be clear and concise:When it comes to writing your CV and cover letter, clarity is key. Avoid jargon that could confuse us and stick to simple, direct language. Highlight your achievements with quantifiable results where possible, and keep everything easy to read. A well-organised application goes a long way!
How to prepare for a job interview at AMD
✨Brush Up on Your Coding Skills
For a full-time software engineering role, it's crucial that we stay sharp with our coding abilities. Expect technical questions that might involve solving problems on the spot or discussing algorithms. Practise on platforms like LeetCode or HackerRank to get comfortable with the types of questions that often come up.
✨Know Your Tools and Frameworks
Make sure we’re well-acquainted with the tools and technologies listed in the job description. Familiarise ourselves with any specific frameworks or programming languages mentioned. If AMD uses React or Node.js, for instance, be ready to discuss how we’ve used them in previous projects or coursework.
✨Showcase Your Projects
Bring along a portfolio that highlights our best work. This could be code samples, GitHub repositories, or any side projects we’ve built. Make sure we can talk through our thought process for each project, especially the challenges we faced and how we solved them—this shows our problem-solving skills in action.
✨Prepare for Behavioural Questions
While technical skills are key, full-time positions also require cultural fit. Be ready to discuss our previous experiences and how we handle teamwork, conflict, and deadlines. Brush up on the STAR method—Situation, Task, Action, Result—to clearly articulate our past experiences when discussing how we've contributed to a team.
