Formal Verification Engineer - Hybrid, Central Verification

AMD; Austin (TX); Hybrid; USD 120,000 - 180,000; Full time

Job summary

AMD in Austin is seeking a dedicated Central Verification engineer focused on Formal Verification (FV) to advance FV flows and methodologies across project teams. You will contribute hands-on, study new FV practices, and help implement better verification strategies.

Join a collaborative, global team, applying state-of-the-art FV tools to improve hardware design quality and verification outcomes while growing your expertise in a dynamic tech environment.

Qualifications

• Experience with formal verification tools from EDA vendors.
• Strong programming, scripting and debugging skills.
• Knowledge of formal methods such as formal logic and model checking.
• Ability to understand hardware description languages and hardware design.
• Collaborative and able to work with global teams.
• Willingness to learn new techniques and technologies.
• Detail-oriented and highly motivated.
• Experience with data analysis, data mining, and machine learning is a plus.
• Experience with cloud computing is a plus.

Responsibilities

• Contribute to products, flows, and methodologies that support extensive and efficient use of formal verification across AMD.
• Drive or support projects that apply formal verification, tools, and techniques to improve hardware design and implementation quality.
• Identify the best solutions available inside and outside of the company; evaluate and facilitate the deployment of the improved solution.
• Share knowledge through hands-on work, documentation, and presentation.

Skills

Formal verification tools

Programming

Hardware design

HDL understanding

Collaboration

Learning mindset

Attention to detail

Data analysis (plus)

Cloud computing (plus)

Education

Bachelors or Masters in computer/electrical engineering

Job description

AMD in Austin is seeking a dedicated Central Verification engineer focused on Formal Verification (FV) to advance FV flows and methodologies across project teams. You will contribute hands-on, study new FV practices, and help implement better verification strategies.

Join a collaborative, global team, applying state-of-the-art FV tools to improve hardware design quality and verification outcomes while growing your expertise in a dynamic tech environment.