Austin, TX · On-site
$134K/yr
Our Design Verification team is seeking a highly skilled and motivated Senior Formal Verification Engineer to drive formal verification efforts across our complex modem SoC designs. In this role, you ...
Austin, TX · On-site
$134K/yr
Our Design Verification team is seeking a highly skilled and motivated Senior Formal Verification Engineer to drive formal verification efforts across our complex modem SoC designs. In this role, you ...
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 ...
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 ...
Santa Clara, CA · On-site
$159K/yr
... CPU Engineering General Summary: Are you interested in working with a world-class CPU design team? Are you interested in the application of formal methods to the verification of application ...
Santa Clara, CA · On-site
$159K/yr
... CPU Engineering General Summary: Are you interested in working with a world-class CPU design team? Are you interested in the application of formal methods to the verification of application ...
Austin, TX · On-site
$134K/yr
Our Design Verification team is seeking a highly skilled and motivated Senior Formal Verification Engineer to drive formal verification efforts across our complex modem SoC designs. In this role, you ...
Austin, TX · On-site
$134K/yr
Our Design Verification team is seeking a highly skilled and motivated Senior Formal Verification Engineer to drive formal verification efforts across our complex modem SoC designs. In this role, you ...
$122K - $168K/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 ...
$122K - $168K/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 ...
Experience with SystemVerilog Assertions (SVA) and formal verification methods. Preferred qualifications: * Master's degree or PhD in Electrical Engineering, Computer Engineering, or Computer Science ...
Experience with SystemVerilog Assertions (SVA) and formal verification methods. Preferred qualifications: * Master's degree or PhD in Electrical Engineering, Computer Engineering, or Computer Science ...
Austin, TX · On-site
$134K/yr
We are looking for an experienced Formal Verification Engineer to join our growing organization in Austin, TX! You will be a key member of a verification group striving to promote, develop, and ...
Austin, TX · On-site
$134K/yr
We are looking for an experienced Formal Verification Engineer to join our growing organization in Austin, TX! You will be a key member of a verification group striving to promote, develop, and ...
Santa Clara, CA · On-site
$142K - $213K/yr
... CPU Engineering General Summary: Are you interested in working with a world-class CPU design team? Are you interested in the application of formal methods to the verification of application ...
Santa Clara, CA · On-site
$142K - $213K/yr
... CPU Engineering General Summary: Are you interested in working with a world-class CPU design team? Are you interested in the application of formal methods to the verification of application ...
$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 ...
$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 ...
$122K - $168K/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 ...
$122K - $168K/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 ...
Santa Clara, CA · On-site
$122K - $168K/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 ...
Santa Clara, CA · On-site
$122K - $168K/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 ...
Austin, TX · On-site
$134K - $164K/yr
The Graphics Verification Engineer will be responsible for the pre-silicon RTL verification applying formal and property checking methods. This includes deep understanding of the micro-architectural ...
Austin, TX · On-site
$134K - $164K/yr
The Graphics Verification Engineer will be responsible for the pre-silicon RTL verification applying formal and property checking methods. This includes deep understanding of the micro-architectural ...
Austin, TX · On-site
$134K/yr
Role and Responsibilities As a Staff GPU Design Verification Engineer - Formal Verification, you will contribute to block and subsystem level formal verification for Samsung's next-generation mobile ...
Austin, TX · On-site
$134K/yr
Role and Responsibilities As a Staff GPU Design Verification Engineer - Formal Verification, you will contribute to block and subsystem level formal verification for Samsung's next-generation mobile ...
Austin, TX · On-site
$134K/yr
Role and Responsibilities As a Staff GPU Design Verification Engineer - Formal Verification, you will contribute to block and subsystem level formal verification for Samsung's next-generation mobile ...
Austin, TX · On-site
$134K/yr
Role and Responsibilities As a Staff GPU Design Verification Engineer - Formal Verification, you will contribute to block and subsystem level formal verification for Samsung's next-generation mobile ...
Mountain View, CA · On-site
$204K - $259K/yr
Serve as the team's formal Subject Matter Expert, training and guiding logic designers and verification engineers to effectively incorporate formal methods into their workflows * Strategic planning ...
Mountain View, CA · On-site
$204K - $259K/yr
Serve as the team's formal Subject Matter Expert, training and guiding logic designers and verification engineers to effectively incorporate formal methods into their workflows * Strategic planning ...
Role and Responsibilities As a Senior Staff GPU Design Verification Engineer - Formal Verification, you will help shape block and subsystem level formal verification for Samsung's next-generation ...
Role and Responsibilities As a Senior Staff GPU Design Verification Engineer - Formal Verification, you will help shape block and subsystem level formal verification for Samsung's next-generation ...
San Jose, CA · On-site
$2.0K/mo
Job Summary We are seeking a Formal Verification Engineer to join our ASIC Design Verification team. You will drive formal verification across the custom IP, interface IP, and SoC subsystems that ...
Quick apply
San Jose, CA · On-site
$2.0K/mo
Job Summary We are seeking a Formal Verification Engineer to join our ASIC Design Verification team. You will drive formal verification across the custom IP, interface IP, and SoC subsystems that ...
San Jose, CA · On-site
$2.0K/mo
Job Summary We are seeking a Formal Verification Engineer to join our ASIC Design Verification team. You will drive formal verification across the custom IP, interface IP, and SoC subsystems that ...
San Jose, CA · On-site
$2.0K/mo
Job Summary We are seeking a Formal Verification Engineer to join our ASIC Design Verification team. You will drive formal verification across the custom IP, interface IP, and SoC subsystems that ...
Role and Responsibilities As a Senior Staff GPU Design Verification Engineer - Formal Verification, you will help shape block and subsystem level formal verification for Samsung's next-generation ...
Role and Responsibilities As a Senior Staff GPU Design Verification Engineer - Formal Verification, you will help shape block and subsystem level formal verification for Samsung's next-generation ...
OR · On-site +1
$104K - $143K/yr
As a Senior Formal Verification Engineer at NVIDIA, you will verify ASICs developed at the forefront using formal verification tools. You will define the verification scope and ensure correctness.
OR · On-site +1
$104K - $143K/yr
As a Senior Formal Verification Engineer at NVIDIA, you will verify ASICs developed at the forefront using formal verification tools. You will define the verification scope and ensure correctness.
$80K - $91.2K
1% of jobs
$91.2K - $102.5K
1% of jobs
$102.5K - $113.7K
1% of jobs
$113.7K - $124.9K
1% of jobs
$131.5K is the 25th percentile. Wages below this are outliers.
$124.9K - $136.1K
35% of jobs
The median wage is $138.3K / yr.
$136.1K - $147.4K
54% of jobs
$147.4K - $158.6K
1% of jobs
$158.6K - $169.8K
1% of jobs
$169.8K - $181K
2% of jobs
$181K - $192.3K
1% of jobs
$192.3K - $203.5K
1% of jobs
$80K
$142.6K
$203.5K
A Formal Verification Engineer is responsible for ensuring the correctness of hardware or software designs using mathematical and logical techniques. They apply formal methods to verify that a system behaves as intended, identifying potential design flaws early in the development process. This involves writing formal properties, using model checking tools, and collaborating with design and validation teams. Their work helps improve reliability, reduce bugs, and enhance the efficiency of verification compared to traditional simulation-based methods.
As a Formal Verification Engineer, your typical day involves creating and analyzing formal properties, developing assertions, and using formal verification tools to mathematically prove correctness of hardware designs. You'll collaborate closely with design and simulation teams to review specifications, identify verification requirements, and debug issues found during the verification process. Regular documentation of findings, participation in code and design reviews, and ongoing learning about new verification methodologies are also important parts of the role. This dynamic environment requires both technical depth and proactive teamwork to ensure high-quality design outcomes.
To thrive as a Formal Verification Engineer, you need a strong background in digital design, computer architecture, and logic, typically supported by a degree in electrical engineering, computer science, or a related field. Expertise in formal verification tools such as Cadence JasperGold, Synopsys VC Formal, or Mentor Questa, along with proficiency in hardware description languages (HDLs) like Verilog or VHDL, is essential. Strong analytical thinking, attention to detail, and effective communication skills help you collaborate with design and verification teams and present complex findings. These competencies are critical for ensuring hardware systems are bug-free, reliable, and meet stringent industry standards.
Cities with the most Formal Verification Engineer job openings:
The most popular types of Formal Verification Engineer jobs are:
States with the most job openings for Formal Verification Engineer jobs include:
For Formal Verification Engineer jobs, the most frequently searched job titles are:
Austin, TX • On-site
$134K/yr
Full-time
Posted 19 days ago
7.4
Based on 7,180 frontline employees who took The Breakroom Quiz
Amazon's Leo Silicon Team is building next-generation modem SoCs for broadband
communication, a constellation of low Earth orbit satellites designed to deliver fast, affordable broadband to unserved and underserved communities around the world. Our Design Verification team is seeking a highly skilled and motivated Senior Formal Verification Engineer to drive formal verification efforts across our complex modem SoC designs.
In this role, you will apply rigorous mathematical methods to prove design correctness and
uncover corner-case bugs that escape simulation-based verification. You will serve as a subject matter expert in formal verification methodologies, mentor engineers across the team, and collaborate closely with RTL designers, simulation-based DV engineers, emulation engineers, and architects to shift verification left and improve overall silicon quality
This is a high-impact role on a team that is scaling verification capabilities with each successive tape-
out and actively integrating AI-centric verification methodologies.
Export Control Requirement:
Due to applicable export control laws and regulations, candidates must be a U.S. citizen or national, U.S. permanent resident (i.e., current Green Card holder), or lawfully admitted into the U.S
as a refugee or granted asylum.
Key job responsibilities
Develop and execute formal verification strategies using JasperGold and/or Questa
Formal for property checking (FPV), connectivity checking (CC), register verification,
and sequential equivalence checking (SEQ)
Write, review, and debug SystemVerilog Assertions (SVA) - including assumptions,
assertions, and cover properties - to verify complex modem SoC design behaviors
across NOC, interconnect, modem IPs and control logic
Drive convergence on formal proofs by applying abstraction techniques, complexity
reduction strategies, and assume-guarantee reasoning
Collaborate with RTL designers, architects, and simulation-based DV engineers to
define verification plans that incorporate formal methods alongside UVM-based
simulation and emulation approaches
Champion a "formal-first" verification strategy by identifying and pursuing
opportunities to apply formal verification to new design blocks - building on our
established formal verification checklist deployed across SoC and NoC partitions
Develop reusable formal verification infrastructure, including constraint libraries,
parameterized property templates, and automated regression flows integrated into our
CI/CD verification pipeline
Contribute to coverage closure strategies by leveraging formal coverage analysis to
complement simulation-driven functional coverage
Mentor and guide DV engineers in formal verification techniques, SVA best practices,
and proof convergence strategies
Partner with EDA vendors to evaluate new formal verification capabilities and drive
tool improvements that benefit the team
Sourced by ZipRecruiter
Amazon.com, Inc., commonly known as Amazon, is an American multinational technology company. It was founded by Jeff Bezos in 1994 and initially started as an online marketplace for books. Since then, Amazon has expanded its operations and become one of the largest e-commerce companies in the world. Amazon's primary business is its online retail platform, where customers can purchase a vast array of products, including electronics, clothing, books, home goods, and much more. The company offers a convenient and user-friendly shopping experience, with features such as fast shipping, customer reviews, and personalized recommendations. In addition to its e-commerce platform, Amazon has diversified its business into various other areas. One of its notable ventures is Amazon Web Services (AWS), a comprehensive cloud computing platform that provides services such as storage, compute power, and database management to individuals and businesses. AWS has become a leader in the cloud computing industry, powering many websites and applications worldwide. Amazon has also developed its own consumer electronics, including the popular Amazon Kindle e-reader, Fire tablets, Fire TV streaming devices, and the Alexa-powered Echo smart speakers. The Alexa voice assistant, integrated into these devices, allows users to interact with their devices using voice commands, perform tasks, and access information. Furthermore, Amazon has expanded into media and entertainment. It operates Prime Video, a streaming service that offers a wide range of movies, TV shows, and original content. Amazon Music provides a platform for streaming and purchasing digital music, while Audible offers audiobooks and other audio content. The company's commitment to customer satisfaction and convenience is demonstrated by its membership program, Amazon Prime. Prime members receive various benefits, including free two-day shipping, access to streaming services, exclusive deals, and more.
It services, book publishers, retail, real estate, computer and electronic product manufacturing and software development
10,000+ Employees
Seattle, WA, US
