Formal Verification Engineer - FV Specialist

Advanced Micro Devices; Austin (TX); On-site; USD 80,000 - 110,000; Full time

Job summary

A leading semiconductor company in Austin, TX, is seeking a dedicated individual for a role in the Central Verification team. The position focuses on formal verification methodologies to enhance hardware design. Applicants should have strong programming and debugging skills along with experience using formal verification tools. A Bachelor's or Master's degree in Computer or Electrical Engineering is required. The role entails collaboration across teams and offers exposure to cutting-edge verification techniques.

Qualifications

• Strong programming, scripting, and debugging skills required.
• Hands-on experience with formal verification tools necessary.
• Understanding hardware description languages is essential.

Responsibilities

• Contribute to verification methodologies for improved design quality.
• Support projects applying formal verification techniques.
• Evaluate and deploy best verification solutions.

Skills

Programming skills

Scripting skills

Debugging skills

Collaborative skills

Detail oriented

Education

Bachelor's or Master's in Computer Engineering or Electrical Engineering

Tools

Formal verification tools from EDA vendors

Cloud computing

Job description

A leading semiconductor company in Austin, TX, is seeking a dedicated individual for a role in the Central Verification team. The position focuses on formal verification methodologies to enhance hardware design. Applicants should have strong programming and debugging skills along with experience using formal verification tools. A Bachelor's or Master's degree in Computer or Electrical Engineering is required. The role entails collaboration across teams and offers exposure to cutting-edge verification techniques.