At a Glance
- Tasks: Drive formal verification methodologies for next-gen CPU designs and ensure top-notch quality.
- Company: Join AMD, a leader in innovative computing solutions with a collaborative culture.
- Benefits: Enjoy competitive salary, health benefits, and opportunities for remote work.
- Other info: Dynamic team environment with excellent career growth opportunities.
- Why this job: Be at the forefront of CPU technology and make a real impact on the future of computing.
- Qualifications: Experience in formal verification and strong collaboration skills are essential.
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 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’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.
AMD is seeking an experienced Formal Verification Engineer, a technical leader passionate about advancing formal verification techniques for next‑generation CPU IP design. This individual will drive and execute AMD’s formal verification methodology across the CPU domain, ensuring industry‑leading verification quality and productivity under aggressive timelines. The role involves close collaboration with architecture, design, and central formal verification teams to shape the roadmap, methodology, infrastructure, and execution of formal verification practices. You will join a core team of elite industry experts working on cutting‑edge and rapidly evolving CPU IP technologies.
The ideal candidate will have strong expertise in formal verification for complex processor architectures and demonstrate the ability to execute and lead formal verification across the designs. Strong communication and cross‑functional collaboration skills are essential to drive innovation and adoption of formal methods across AMD.
KEY RESPONSIBILITIES:- Architect and execute formal verification methodologies to comprehensively cover CPU design, including datapath and control logic.
- Scale formal verification to large, critical designs to ensure bug‑free quality across the IP lifecycle.
- Resolve convergence challenges using advanced techniques such as proof by induction, COI reduction and abstraction.
- Build and maintain best‑in‑class formal verification infrastructure for adoption across engineering teams.
- Explore formalization of ISA and memory models for CPU IP.
- Stay at the forefront of formal verification innovation and foster technical relationships across AMD’s design community and EDA partners.
- Champion cross‑department collaboration and drive AMD‑wide formal verification excellence.
- Hands‑on experience of development of Assertion IP(AIP) and end‑to‑end properties is highly desirable.
- Advanced user of formal tools from academia and EDA vendors (e.g., JasperGold, VC Formal).
- Proven success in delivering high‑quality verification for large‑scale processor designs under tight schedules.
- Strong understanding of computer architecture and CPU pipelines.
- Experience developing infrastructure for FPV, FXP(x‑prop), DPV, SEC and other formal apps is highly desirable.
- Bachelors or Masters degree in computer engineering/Electrical Engineering.
Cpu Formal Verification Engineer in Cambourne employer: Advanced Micro Devices, Inc
At AMD, we pride ourselves on fostering a culture of innovation and collaboration that empowers our employees to push the boundaries of technology. As an Embedded AI/ML Software Technical Marketing Engineer, you will be part of a dynamic team dedicated to redefining intelligent edge computing, with ample opportunities for professional growth and development. Our inclusive work environment, combined with competitive benefits and a commitment to excellence, makes AMD an exceptional employer for those looking to make a meaningful impact in the tech industry.
Contact Details:
Advanced Micro Devices, Inc Recruitment Team
StudySmarter Expert Advice🤫
We think this is how you could land Cpu Formal Verification Engineer in Cambourne
✨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 Advanced Micro Devices, Inc 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 Advanced Micro Devices, Inc.
✨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 Advanced Micro Devices, Inc.
✨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 Advanced Micro Devices, Inc 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 Cpu Formal Verification Engineer in Cambourne
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 Advanced Micro Devices, Inc.
Craft a killer cover letter:Your cover letter is your chance to stand out—make it personal! Explain why you want to work at Advanced Micro Devices, Inc 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 Advanced Micro Devices, Inc
✨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 Advanced Micro Devices, Inc 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.
