ZipRecruiter

Log In

1

Formal Verification Jobs in Texas (NOW HIRING)

Nvidia

Senior Formal Verification Engineer

Austin, TX · On-site

$103K - $142K/yr

As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation of the industry's leading GPUs. In this position, your responsibilities will be to verify the micro ...

Amazon

Sr. Formal Verification Engineer, Annapurna Labs

Austin, TX · On-site

$134K/yr

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

Key job responsibilities - Develop formal verification plans, implement and verify state-of-the-art IP architectures. - Work with block designers to gain deep micro-architectural understanding ...

Apple

Design Verification Lead

Austin, TX · On-site

$134K - $164K/yr

As well as define and execute functional and power-aware verification plans, focusing on test coverage, formal verification, and assertion-based verification using SystemVerilog and UVM methodologies.

Apple

Design Verification Lead

Austin, TX

$134K - $164K/yr

As well as define and execute functional and power-aware verification plans, focusing on test coverage, formal verification, and assertion-based verification using SystemVerilog and UVM methodologies.

previous pagenext page

Showing results 21-40

All JobsFormal Verification JobsFormal Verification Jobs in Texas

Formal Verification information

What is a formal verification?

A Formal Verification job involves using mathematical techniques to prove the correctness of hardware or software designs. Engineers in this role apply formal methods, such as model checking and theorem proving, to ensure that a system behaves as intended without relying solely on traditional testing. This process helps detect critical design flaws early, improving reliability and reducing costly errors. Formal verification is widely used in safety-critical industries like aerospace, automotive, and semiconductor design.

How to become a formal verification engineer?

To become a formal verification engineer, typically a candidate needs a bachelor's degree in electrical engineering, computer engineering, or computer science. Strong skills in hardware description languages like VHDL or Verilog, knowledge of formal methods and model checking tools, and experience with scripting languages such as Python are important. Gaining hands-on experience through internships or projects and obtaining relevant certifications can also enhance job prospects.

What skills and qualifications are needed for formal verification?

To thrive in Formal Verification, you need a strong background in computer science, mathematics, and logical reasoning, often supported by a relevant degree in engineering or computer science. Familiarity with formal verification tools such as ModelSim, JasperGold, SystemVerilog Assertions, and proficiency in hardware description languages like Verilog or VHDL are important, and industry certifications can be a plus. Excellent analytical thinking, attention to detail, and strong communication skills help in interpreting specifications and collaborating with cross-functional teams. These skills are crucial to rigorously ensuring hardware or software designs function correctly and meet industry safety and correctness standards.

What does a formal verification engineer do?

A Formal Verification engineer's daily responsibilities usually include developing and applying formal models to hardware or software designs, writing assertions, and using verification tools to prove or disprove correctness properties. Collaboration with design, simulation, and verification teams is common to clarify specifications and address any verification gaps. Engineers frequently analyze failures or counterexamples, document findings, and suggest design improvements. This role often involves balancing multiple projects, staying aligned with tight development schedules, and ensuring the highest possible design quality before production.

What are the most commonly searched types of Formal Verification jobs in Texas?

The most popular types of Formal Verification jobs in Texas are:

What are popular job titles related to Formal Verification jobs in Texas?

For Formal Verification jobs in Texas, the most frequently searched job titles are:

What job categories do people searching Formal Verification jobs in Texas look for?

The top searched job categories for Formal Verification jobs in Texas are:

What cities in Texas are hiring for Formal Verification jobs?

Cities in Texas with the most Formal Verification job openings:

Formal Verification jobs near you
Infographic showing various Formal Verification job openings in Texas as of August 2026, with employment types broken down into 1% As Needed, 81% Full Time, 14% Part Time, and 4% Contract. Highlights an 91% Physical, 2% Hybrid, and 7% Remote job distribution.

Formal Design Verification Engineer

Advanced Micro Devices, Inc

Austin, TX • On-site

$126K/yr

Full-time

Re-posted 7 days ago

Advanced Micro Devices rating

8.6

Company rating: 8.6 out of 10

Based on 13 frontline employees who took The Breakroom Quiz

27th of 157 rated electronics manufacturers

Job description

WHAT YOU DO AT AMD CHANGES EVERYTHING
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.
THE ROLE:
  • AMD is seeking a dedicated and self-motivated person to join the Central Verification team
  • This team is a central R&D team that works with all project execution teams and provides design verification flows and methodologies
  • This role's focus will be on Formal Verification (FV) and methodologies and flows around FV
  • If you're eager to study, passionate about formal verification, enjoy hands-on practices, and driven to implement ideas, we'd like to work with you!

KEY 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

PREFERRED EXPERIENCE:
  • Strong programming, scripting and debugging skills
  • Hands on experience with using formal verification tools from EDA vendors
  • Knowledge of or experience with static analysis and/or formal methods, such as formal logic and model checking
  • Ability to understand hardware description languages and hardware design
  • Collaborative, able to work with teammates and teams across the globe
  • Driven to learn and try new techniques and technologies
  • Detail oriented, organized and highly motivated
  • Experience with data analysis, data mining, and machine learning is a plus
  • Experience with cloud computing is another plus

ACADEMIC CREDENTIALS:
  • Bachelors or Masters degree in computer engineering/Electrical Engineering

LOCATION: Austin, TX
This role is not eligible for visa sponsorship.
#LI-SL3
#LI-HYBRID
Benefits offered are described: AMD benefits at a glance.
AMD does not accept unsolicited resumes from headhunters, recruitment agencies, or fee-based recruitment services. AMD and its subsidiaries are equal opportunity, inclusive employers and will consider all applicants without regard to age, ancestry, color, marital status, medical condition, mental or physical disability, national origin, race, religion, political and/or third-party affiliation, sex, pregnancy, sexual orientation, gender identity, military or veteran status, or any other characteristic protected by law. We encourage applications from all qualified candidates and will accommodate applicants' needs under the respective laws throughout all stages of the recruitment and selection process.
AMD may use Artificial Intelligence to help screen, assess or select applicants for this position. AMD's "Responsible AI Policy" is available here.
This posting is for an existing vacancy.

What Advanced Micro Devices employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

Apply