Austin, TX · On-site
$134K/yr
As a Formal Verification Engineer at NVIDIA, you will verify the design and implementation of the industry's leading GPUs. In this position, your responsibilities will be to verify the micro ...
Austin, TX · On-site
$134K/yr
As a Formal Verification Engineer at NVIDIA, you will verify the design and implementation of the industry's leading GPUs. In this position, your responsibilities will be to verify the micro ...
Austin, TX · On-site
$134K/yr
As a Formal Verification Engineer at NVIDIA, you will verify the design and implementation of the industry's leading GPUs. In this position, your responsibilities will be to verify the micro ...
Austin, TX · On-site
$134K/yr
As a Formal Verification Engineer at NVIDIA, you will verify the design and implementation of the industry's leading GPUs. In this position, your responsibilities will be to verify the micro ...
Austin, TX · On-site
$134K/yr
As a Formal Verification Engineer at NVIDIA, you will verify the design and implementation of the industry's leading GPUs. In this position, your responsibilities will be to verify the micro ...
Austin, TX · On-site
$134K/yr
As a Formal Verification Engineer at NVIDIA, you will verify the design and implementation of the industry's leading GPUs. In this position, your responsibilities will be to verify the micro ...
Austin, TX · On-site
$134K/yr
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 ...
Austin, TX · On-site
$134K/yr
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 ...
Austin, TX · On-site
$109K - $146K/yr
Senior Formal Verification Engineer Looking for new challenges? Would you like the variety of a contract position along with long term stability and benefits? Correct Designs can give it all to you.
Austin, TX · On-site
$109K - $146K/yr
Senior Formal Verification Engineer Looking for new challenges? Would you like the variety of a contract position along with long term stability and benefits? Correct Designs can give it all to you.
As a Senior Formal Verification Engineer, you will play a critical role in ensuring the functional correctness of complex digital designs using advanced formal methods. This position offers the ...
As a Senior Formal Verification Engineer, you will play a critical role in ensuring the functional correctness of complex digital designs using advanced formal methods. This position offers the ...
Austin, TX · On-site +1
$109K - $146K/yr
Senior Formal Hardware Verification Engineer ID: 1062 Location: Austin, TX More about this job > Description Senior Formal Verification Engineer Looking for new challenges? Would you like the variety ...
Austin, TX · On-site +1
$109K - $146K/yr
Senior Formal Hardware Verification Engineer ID: 1062 Location: Austin, TX More about this job > Description Senior Formal Verification Engineer Looking for new challenges? Would you like the variety ...
Austin, TX · On-site
$180 - $240/hr
Work closely with Design teams for Area and Floorplan refinement, Verification Test plan reviews, Timing targets, Emulation plans, Pre-Si bug resolution and Performance/Power Verification sign offs
Austin, TX · On-site
$180 - $240/hr
Work closely with Design teams for Area and Floorplan refinement, Verification Test plan reviews, Timing targets, Emulation plans, Pre-Si bug resolution and Performance/Power Verification sign offs
Austin, TX · On-site
$134K/yr
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 ...
Austin, TX · On-site
$134K/yr
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 ...
Austin, TX · On-site
$134K/yr
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 ...
Austin, TX · On-site
$134K/yr
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 ...
Austin, TX · On-site
$70 - $80/hr
Lead Formal Verification activities. * Collaborate with Post-Si teams for debugging and resolution of performance, power, and functional issues. Preferred Experience: * Strong knowledge of IO/PHY ...
Quick apply
Austin, TX · On-site
$70 - $80/hr
Lead Formal Verification activities. * Collaborate with Post-Si teams for debugging and resolution of performance, power, and functional issues. Preferred Experience: * Strong knowledge of IO/PHY ...
Manor, TX · On-site
$146K - $179K/yr
Run formal verification of complex blocks to ensure functional correctness * Work with the design and communication systems team and participate in system level verification using test benches ...
Manor, TX · On-site
$146K - $179K/yr
Run formal verification of complex blocks to ensure functional correctness * Work with the design and communication systems team and participate in system level verification using test benches ...
Austin, TX · On-site +1
$134K/yr
... formal verification, portable stimulus (PSS), and AI/ML-assisted verification techniques - Establish verification metrics, KPIs, and quality gates to measure verification progress and coverage ...
Austin, TX · On-site +1
$134K/yr
... formal verification, portable stimulus (PSS), and AI/ML-assisted verification techniques - Establish verification metrics, KPIs, and quality gates to measure verification progress and coverage ...
Austin, TX · On-site
$156 - $229/hr
# Senior CPU Formal Verification Engineer, SiliconGoogle • onsite • 500 W 2nd St, Austin, TX 78701, USA • full\_timePay: USD 156000.00 - USD 229000.00 / unspecifiedBusinesses of all shapes and ...
Austin, TX · On-site
$156 - $229/hr
# Senior CPU Formal Verification Engineer, SiliconGoogle • onsite • 500 W 2nd St, Austin, TX 78701, USA • full\_timePay: USD 156000.00 - USD 229000.00 / unspecifiedBusinesses of all shapes and ...
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.
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.
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.
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.
Austin, TX · On-site
£123K/yr
Apply formal verification techniques (property checking, assertions, equivalence checking) to complement simulation-based verification and accelerate bug discovery * Model and validate algorithms ...
Austin, TX · On-site
£123K/yr
Apply formal verification techniques (property checking, assertions, equivalence checking) to complement simulation-based verification and accelerate bug discovery * Model and validate algorithms ...
Austin, TX · On-site
$156K/yr
Deploying industry-leading verification methodologies such as UVM and formal Verification * Reproducing functional bugs found in post-silicon in dynamic simulation and/or formal verification ...
Austin, TX · On-site
$156K/yr
Deploying industry-leading verification methodologies such as UVM and formal Verification * Reproducing functional bugs found in post-silicon in dynamic simulation and/or formal verification ...
Experience in formal verification would be an asset Academic Credentials: * BS/MS degree in Engineering (Electrical, Electronics, Computer) or Computer Science. This role is not eligible for visa ...
Experience in formal verification would be an asset Academic Credentials: * BS/MS degree in Engineering (Electrical, Electronics, Computer) or Computer Science. This role is not eligible for visa ...
Austin, TX · On-site
$300 - $380/hr
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 ...
Austin, TX · On-site
$300 - $380/hr
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 ...
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.
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.
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.
The most popular types of Formal Verification jobs in Texas are:
For Formal Verification jobs in Texas, the most frequently searched job titles are:
The top searched job categories for Formal Verification jobs in Texas are:
Cities in Texas with the most Formal Verification job openings:
$134K/yr
Full-time
Re-posted 26 days ago
9.6
Based on 18 frontline employees who took The Breakroom Quiz
6th of 247 rated software companies
As a Formal Verification Engineer at NVIDIA, you will verify the design and implementation of the industry's leading GPUs. In this position, your responsibilities will be to verify the micro-architecture using formal verification tools, define the verification scope, and ensure design correctness. You will employ advanced formal techniques to obtain sufficiently bounded proofs while working with architects, designers, and pre- & post-silicon verification teams to accomplish your tasks.
You will efficiently execute the formal verification effort for the entire project cycle, delivering high-quality results on schedule, and clearly conveying those results to the team. What you will be doing: Identify key behaviors for verification to write clear testplans for complex designs. Execute testplans using the latest formal techniques, including the development of environment assumptions, assertions and cover properties.
Develop abstraction models to overcome complexity challenges and obtain full proofs, or bounded proofs with sufficient coverage. Drive tools to realize their best performance. Debug RTL to identify causes of failure scenarios.
Contribute to flow and script development to improve team efficiency. Articulate formal verification coverage of the design to partners. What we need to see: BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics.
Solid understanding of GPU/CPU architectures and designs. Strong analytical skills to solve complex problems. Knowledge of formal verification methodologies and techniques.
Able to implement abstraction techniques for effective verification. Hands-on experience with Verilog / System Verilog HDLs, temporal logic assertions, and able to understand complex RTL quickly. Excellent command of scripting using TCL, Perl, and Python.
Experience with a JasperGold and VC-Formal tools. Excellent interpersonal skills, able to effectively collaborate and work with members of a distributed team. NVIDIA is widely considered to be one of the technology world's most desirable employers.
We have some of the most forward-thinking and hardworking people in the world working for us. Are you creative and autonomous. Do you love the challenge of crafting the highest performance & lowest power silicon possible.
If so, we want to hear from you. Come, join our GPU Formal Verification team and help build the real-time, cost-effective computing platform driving our success in this exciting and quickly growing field. Your base salary will be determined based on your location, experience, and the pay of employees in similar positions.
The base salary range is 100,000 USD - 166,750 USD for Level 1, and 116,000 USD - 189,750 USD for Level 2. You will also be eligible for equity and benefits. Applications for this job will be accepted at least until July 14, 2026.
This posting is for an existing vacancy. NVIDIA uses AI tools in its recruiting processes. NVIDIA is committed to fostering an inclusive work environment and proud to be an equal opportunity employer.
As we highly value diversity in our current and future employees, we do not discriminate (including in our hiring and promotion practices) on the basis of race, religion, color, national origin, gender, gender expression, sexual orientation, age, marital status, veteran status, disability status or any other characteristic protected by law.
Sourced by ZipRecruiter
NVIDIA has been transforming computer graphics, PC gaming, and accelerated computing for more than 25 years. It's a unique legacy of innovation that's fueled by great technology--and amazing people. Today, we're tapping into the unlimited potential of AI to define the next era of computing. An era in which our GPU acts as the brains of computers, robots, and self-driving cars that can understand the world. Doing what's never been done before takes vision, innovation, and the world's best talent.
Computer and electronic product manufacturing
10,000+ Employees
Santa Clara, CA, US
