Advanced Micro Devices, Inc

Lead Formal Verification Engineer

Advanced Micro Devices, Inc • $150K — $180K *
Austin, TX 78745In-Person
Consumer Technology
Less than 5 years of experience
Today
Be an Early Applicant
Job Overview by Ladders

Qualifications

  • 5+ years of experience in formal verification
  • Strong knowledge in verification methodologies and algorithms
  • Expertise in SystemVerilog Assertions (SVA) and property development
  • Experience with EDA tools like JasperGold and VC Formal
  • Background in large-scale processor architectures, particularly GPUs and CPUs
  • Educational background with a Master's or PhD preferred

Responsibilities

  • Define and implement formal verification strategies for graphics IP
  • Lead verification projects for complex GPU and processor designs
  • Develop advanced techniques to overcome verification challenges
  • Create infrastructure and automation to enhance verification productivity
  • Collaborate with architecture and design teams for improved verification planning
  • Research formal verification applications in security and low power

Benefits

  • Comprehensive health care packages
  • Flexible work arrangements
  • Retirement savings plans
  • Wellness and employee assistance programs
  • Opportunities for professional development
Full Job Description
THE ROLE:

AMD is seeking a Lead Formal Verification Engineer to help drive formal verification strategy, methodology, and adoption across next-generation graphics and GPU IP. This highly visible technical leadership role will partner closely with architecture, design, and verification teams to improve verification quality, scalability, and productivity across complex hardware projects. The successful candidate will play a key role in expanding formal verification across the development lifecycle, advancing verification methodologies, and influencing technical direction across a growing organization. This is an opportunity to work on industry-leading graphics technologies while helping shape the future of formal verification within AMD.

THE PERSON:

You are a recognized formal verification expert who enjoys solving complex technical challenges and driving innovation. You bring strong leadership and collaboration skills, can influence technical direction across teams, and are passionate about building scalable verification solutions that improve product quality and engineering efficiency.

KEY RESPONSIBLITIES:
  • Define and drive formal verification strategy, methodology, and technical roadmap for graphics IP.
  • Lead formal verification efforts for complex GPU and processor designs while improving coverage, quality, and scalability.
  • Develop and deploy advanced verification techniques to solve challenging convergence and verification problems.
  • Drive development of reusable infrastructure, automation, and workflows that improve verification productivity.
  • Partner with architecture, design, and verification teams to influence design quality and verification planning.
  • Research and evaluate emerging formal verification applications in areas such as security, safety, low power, and architectural verification.

PREFERRED EXPERIENCE:
  • In-depth knowledge of formal verification methodologies, algorithms, proof engines, and practical applications across complex digital designs.
  • Proven expertise in SystemVerilog Assertions (SVA), property development, and abstract model creation.
  • Expert-level experience with formal verification tools such as JasperGold, VC Formal, Murphi, theorem provers, or similar EDA solutions.
  • Demonstrated success delivering high-quality verification for large-scale processor architectures, including GPU, CPU, AI accelerator, or other high-performance compute designs; strong understanding of computer architecture and graphics pipelines preferred.
  • Proven experience developing formal verification infrastructure supporting applications such as functional property verification, datapath verification, equivalence checking, security verification, or related use cases.
  • Experience solving challenging formal convergence problems and scaling formal verification through advanced techniques such as induction, abstraction, reduction, decomposition, and related approaches.

ACADEMIC CREDENTIALS:
  • Undergrad degree required. Master or PhD degree in Computer Science/ Computer Engineering/ Electrical Engineering preferred.

LOCATIONS:
  • Austin, TX, Orlando, FL and San Diego, CA


This role is not eligible for visa sponsorship.

#LI-LC3

#LI-HYBRID

Benefits offered are described: AMD benefits at a glance.

About Advanced Micro Devices, Inc

Advanced Micro Devices, Inc. Careers

Join the innovative forefront of technology with a career at Advanced Micro Devices, Inc. (AMD), a leader in semiconductor development. As part of our global team, you will contribute to an organization renowned for its dedication to innovation, leadership, and diversity in the tech industry.

Work You’ll Do

At AMD, we offer job opportunities that push the boundaries of what is possible. Our team is composed of professionals who lead the way in microprocessor and graphics technology, driving industry standards and innovation. With AMD, you will be part of a culture that values growth and professional development, ensuring that every team member has the opportunity to excel.

Transform Your Career

AMD is not just about advancing technology, but also about advancing careers. Whether you are looking for an internship, a full-time position, or leadership roles, AMD provides the platform to propel your career to new heights. Our commitment to professional growth is matched by our dedication to diversity and inclusion, making AMD a place where everyone can thrive.

Innovative Work Environment

Join a team of over 12,000 dedicated professionals at the intersection of technology, industry expertise, and digital innovation. At AMD, you will work on groundbreaking projects that shape the future of computing and graphics. Our collaborative environment encourages networking and the sharing of ideas across teams and disciplines.

Career Development and Benefits

AMD is committed to the development of its employees. We offer robust training programs, including leadership development and diversity training, to ensure our team is equipped for both current challenges and future opportunities. Our benefits package is designed to support the well-being and financial security of our employees and their families.

Explore Job Opportunities

From engineering to marketing, AMD offers a range of career paths that cater to diverse skills and interests. Our hiring process is designed to be transparent and engaging, helping you to understand where you fit within our team and how you can contribute to our collective goals.

Stay Connected

Join Our Team Search open positions that match your skills and interest. We look for passionate, curious, creative, and solution-driven team players. Explore the opportunities to join a company that’s committed to your career growth and to innovation in the technology sector.

Keep Up to Date

Stay ahead with career tips, insider perspectives, and industry-leading insights you can put to use today—all from the people who work here.

Job Alert Emails

Personalize your subscription to receive job alerts, latest news, and insider tips tailored to your preferences. Discover the exciting and rewarding career opportunities that await at Advanced Micro Devices, Inc.

Interview and Resume Tips

Prepare for your future with AMD by accessing resources that help you craft your resume and excel in interviews. Our goal is to help you showcase your best professional self and align your skills with the needs of our dynamic team. At Advanced Micro Devices, Inc., we empower our employees to innovate, lead, and grow. Join us in driving the future of technology while building a rewarding and sustainable career.
Learn more about Advanced Micro Devices, Inc
Size
15,500 employees
Market Cap
$100.9 billion
Industry
Manufacturing & Automotive
Net Income
$2.4 billion
Founded
1969
5 Year Trend
+30.9%
Revenue
$9.7 billion
NASDAQ
AMD
* Ladders Estimates

Similar Jobs

Ad banner background

Get Ready For Your
Next Interview

More Jobs at Advanced Micro Devices, Inc

More Consumer Technology Jobs

Find similar Lead Formal Verification Engineer jobs:

NationwideAustin, TX