ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs (NOW HIRING)

Nvidia

Senior ASIC Verification Engineer

OR · On-site +1

... Formal Verification, Coverage metrics, profiling tools, X prop, etc. * Exposure on block level and ... Hands on experience in object-oriented programming * Prior design or verification experience at the ...

IC Enable

AMS Verification Engineer

Richardson, TX · On-site +1

$122K/yr

IC Enable is seeking an experienced AMS Verification Engineer to support advanced analog/mixed ... Richardson, TX (Hybrid Schedule, Remote considered based on experience and qualifications) What You ...

MatX

Design Verification Engineer

Mountain View, CA · On-site +1

$175K - $362K/yr

... and comfort with formal and simulated verification are required * Production experience with ... Remote Perks We work remotely Monday & Friday, supported by home-tech setup, and remote wifi ...

K2 Space

Senior ASIC Design Verification Engineer

OR · On-site +1

$170K - $250K/yr

Write SystemVerilog Assertions (SVA) and integrate formal verification where appropriate. * Drive ... S. or M.S. in Electrical Engineering, Computer Engineering, or related field. * 5+ years of ...

K2 Space

Principal ASIC Design Verification Engineer

$190K - $285K/yr

Engineered to survive the harshest radiation environments and to fully capitalize on today's and ... Write SystemVerilog Assertions (SVA) and integrate formal verification where appropriate. * Drive ...

MatX

SoC Design Verification Engineer

Mountain View, CA · On-site +1

$175K - $362K/yr

... and comfort with formal and simulated verification are required * Production experience with ... Remote Perks We work remotely Monday & Friday, supported by home-tech setup, and remote wifi ...

Qualcomm

CPU Verification Engineer (RISC-V)

Santa Clara, CA · On-site +1

$159K/yr

As a Design Verification Engineer, you will work with Chip Architects to validate the concepts of ... Formal, Assertions, and Silicon bringup, is helpful. * In-depth knowledge of Micro-processor ...

Meta

ASIC Engineer, Design Verification

Austin, TX · On-site +1

$146K/yr

Along with traditional simulation, you will use other approaches like Formal and Emulation to ... ASIC Engineer, Design Verification Responsibilities: * Define and implement IP/SoC verification ...

Meta

ASIC Engineer, Design Verification

Sunnyvale, CA · On-site +1

$146K/yr

Along with traditional simulation, you will use other approaches like Formal and Emulation to ... ASIC Engineer, Design Verification Responsibilities: * Define and implement IP/SoC verification ...

Apex Informatics

ASIC Design Verification Engineer

$139K - $169K/yr

Bachelor's degree in Computer Science, Computer Engineering, or a related technical field, or ... Knowledge of advanced verification techniques, including SV Assertions, Formal, and Emulation.

K2 Space

Senior ASIC Design Verification Engineer

$170K - $250K/yr

Engineered to survive the harshest radiation environments and to fully capitalize on today's and ... Write SystemVerilog Assertions (SVA) and integrate formal verification where appropriate. * Drive ...

IC Enable

RTL Design/AMS Verification Engineer

Richardson, TX · On-site +1

$122K - $149K/yr

Remote Key Responsibilities * Develop, integrate, and verify Verilog RTL for digital and mixed ... Work closely with cross-functional engineering teams to support successful silicon development and ...

previous pagenext page

Showing results 21-40

All Jobsremote JobsTechnology JobsSoftware JobsSoftware Quality Engineer JobsRemote Formal Verification Engineer Jobs

Remote Formal Verification Engineer information

See salary details

$80K

$142.6K

$203.5K

How much do remote formal verification engineer jobs pay per year?

As of Aug 22, 2026, the average yearly pay for remote formal verification engineer in the United States is $142,619.00, according to ZipRecruiter salary data. Most workers in this role earn between $136,000.00 and $136,000.00 per year, depending on experience, location, and employer.

What is a remote formal verification engineer?

Remote Formal Verification Engineers are professionals who use mathematical methods to verify the correctness of hardware or software designs, ensuring they meet specified requirements and are free from critical errors. They typically work from home or any location outside a traditional office, collaborating with teams online. Their main tasks include writing formal specifications, developing verification strategies, analyzing results, and reporting on system reliability. This role is essential in industries like semiconductor design, automotive, and aerospace, where system failures can have significant consequences.

What are the key skills and qualifications needed to thrive as a remote formal verification engineer?

To thrive as a Remote Formal Verification Engineer, you need a strong background in digital design, formal verification methodologies, and a relevant degree in computer engineering or a related field. Expertise in formal verification tools (such as JasperGold or Questa Formal), hardware description languages (like Verilog or VHDL), and scripting languages is typically required. Strong problem-solving ability, attention to detail, and effective remote communication skills set top performers apart. These skills ensure the accurate validation of hardware designs, reduce costly errors, and enable efficient collaboration in distributed teams.

How does a remote formal verification engineer typically collaborate with development and design teams across different time zones?

As a Remote Formal Verification Engineer, effective collaboration with development and design teams is critical, especially when working across multiple time zones. Most teams use a combination of asynchronous communication tools (like email, Slack, and project management platforms) and scheduled video meetings to align on goals, clarify verification requirements, and review progress. It's common to document verification plans and results thoroughly so colleagues in other regions can review and contribute. Flexibility in working hours and proactive communication help ensure smooth handoffs and minimize blockers, making remote collaboration productive and efficient.

What is the difference between Remote Formal Verification Engineer vs Remote Hardware Verification Engineer?

AspectRemote Formal Verification EngineerRemote Hardware Verification Engineer
Required CredentialsBachelor's/Master's in Electrical Engineering, Computer Science; certifications in formal methodsBachelor's/Master's in Electrical Engineering, Computer Engineering; certifications in hardware testing
Work EnvironmentDesign and analyze digital systems using formal methods remotelyTest and validate hardware components remotely in lab or simulation environments
Industry UsageSemiconductor, electronics, tech companies focusing on verificationSemiconductor, electronics, hardware manufacturing companies
Search & Comparison IntentOften compared due to similar industry and skills, focusing on verification methods

The Remote Formal Verification Engineer specializes in mathematically proving the correctness of digital systems remotely, while the Remote Hardware Verification Engineer tests and validates hardware components remotely. Both roles require strong technical credentials and are used in similar industries, but they focus on different verification techniques and processes.

More about Remote Formal Verification Engineer jobs

What cities are hiring for Remote Formal Verification Engineer jobs?

Cities with the most Remote Formal Verification Engineer job openings:

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

The most popular types of Formal Verification Engineer jobs are:

What states have the most Remote Formal Verification Engineer jobs?

States with the most job openings for Remote Formal Verification Engineer jobs include:

What job categories do people searching Remote Formal Verification Engineer jobs look for?

The top searched job categories for Remote Formal Verification Engineer jobs are:

Remote Formal Verification Engineer jobs near you
Infographic showing various Remote Formal Verification Engineer job openings in the United States as of August 2026, with employment types broken down into 94% Full Time, 2% Part Time, and 4% Contract. Highlights an 85% Physical, 6% Hybrid, and 9% Remote job distribution, with an average salary of $142,619 per year, or $68.6 per hour.

Senior ASIC Verification Engineer

Nvidia

OR • On-site, Remote

Full-time

Re-posted 10 days ago

Nvidia rating

9.6

Company rating: 9.6 out of 10

Based on 17 frontline employees who took The Breakroom Quiz

7th of 246 rated software companies

Job description

The NVIDIA Clocks Team is looking for an excellent Senior ASIC Verification engineer with extensive experience in Design Verification. The NVIDIA Clocks Team is committed to deliver high-quality clocking and reset logic to various units in SOC and GPU ASIC. The complexity of the clocks and resets design has increased many folds. This requires sophisticated verification to deliver a bug free clocks design to power our product lines ranging from Data Centers, Consumer graphics to Self-driving cars and the growing field of artificial intelligence. Modern clocking verification solutions need to be innovative, ensure quality in covering the complex design specifications and balance the constraints on infrastructure, re-usability, testing speed and multi-platform support.

What you'll be doing:

  • Own validation of Clocking structures in Tegra and GPU products from start to finish, including test plan development, automation, validation flows development, coverage metrics, test execution, bug identification/fix and productization.

  • Tackle Sophisticated problems and develop a scalable solution that works across platform.

  • Hands on industry-standard tools and state of the art verification methodologies. This includes coding in System Verilog, UVM, C++, Perl, Python and NVIDIA custom compilers and tools.

  • Partnering closely with our clocks architecture and design team to validate our clocks design.

  • Coordinate with internal and external teams across time zones.

What we need to see:

  • BS or MS in EE/ECE or equivalent experience.

  • 5+ years of relevant industry work experience.

  • Good understanding of Logic Design and Architecture.

  • Expertise in industry-standard verification flows like SV constraint random verification, UVM, Formal Verification, Coverage metrics, profiling tools, X prop, etc.

  • Exposure on block level and system-level verification.

  • Strong coding skills in System Verilog, scripting languages (Perl/python) and C++.

  • Ability to collaborate and work with multiple groups.

  • Prior experience in implementing Test plans for pre-silicon platforms.

  • Understanding of DFT/IST is optional.

What to Stand Out From the Crowd: -

  • Previous experience automating tasks in the design verification process

  • Hands on experience in object-oriented programming

  • Prior design or verification experience at the IP or block level

  • Experience developing methodologies used by others

  • Demonstrated ability to drive a project to completion

We have some of the most forward-thinking and hardworking people in the world working for us and, due to unprecedented growth, our world-class engineering teams are growing fast. If you are creative, curious, and motivated with real passion for technology, we want to hear from you!

#LI-Hybrid

Your base salary will be determined based on your location, experience, and the pay of employees in similar positions. The base salary range is 136,000 USD - 218,500 USD for Level 3, and 168,000 USD - 264,500 USD for Level 4.

You will also be eligible for equity and benefits.

Applications for this job will be accepted at least until August 24, 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.

What Nvidia employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

Nvidia logo

About Nvidia

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.

Industry

Computer and electronic product manufacturing

Company size

10,000+ Employees

Headquarters location

Santa Clara, CA, US

Year founded

1993

View All Nvidia Jobs

Apply