ZipRecruiter

Log In

1

Home Based Formal Verification Jobs (NOW HIRING)

Apple

GPU Formal Design Verification Engineer

Austin, TX

$134K - $164K/yr

Preferred Qualifications Experience with HDLs such as Verilog/System Verilog and temporal logic assertion-based languages such as SVA. Experience in formal verification and analysis of pipelined ...

Nvidia

Senior Formal Verification Engineer

Santa Clara, CA · On-site

$122K - $168K/yr

As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation of the ... will be determined based on your location, experience, and the pay of employees in similar ...

Apple

Formal Verification - AI/ML Engineer

Austin, TX

$184K - $324K/yr

Developing and fine-tuning LLM-based systems tailored to hardware verification tasks, including ... Collaborating with formal verification engineers to deeply understand FV methodologies, pain points ...

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 ... will be determined based on your location, experience, and the pay of employees in similar ...

Waymo

Senior Formal Verification Engineer

Mountain View, CA · On-site

$204K - $259K/yr

Own the formal verification sign-off approach across complex IP and SoC designs, utilizing advanced ... Actual starting pay will be based on job-related factors, including exact work location, experience ...

Nvidia

Senior Formal Verification Engineer

Santa Clara, CA · On-site

$122K - $168K/yr

As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation of the ... Your base salary will be determined based on your location, experience, and the pay of employees in ...

Nvidia

OR · Hybrid

$104K - $143K/yr

As a Senior Formal Verification Engineer at NVIDIA, you will verify ASICs developed at the ... will be determined based on your location, experience, and the pay of employees in similar ...

next page

Showing results 1-20

All JobsHome Based Formal Verification Jobs

Home Based Formal Verification information

See salary details

$12

$20

$39

How much do home based formal verification jobs pay per hour?

As of Jul 23, 2026, the average hourly pay for home based formal verification in the United States is $20.70, according to ZipRecruiter salary data. Most workers in this role earn between $15.38 and $21.88 per hour, depending on experience, location, and employer.

What are the key skills and qualifications needed to thrive as a Home-Based Formal Verification Engineer, and why are they important?

To thrive as a Home-Based Formal Verification Engineer, you need a solid background in digital design, formal verification methodologies, and a degree in Electrical Engineering, Computer Engineering, or a related field. Experience with formal verification tools such as JasperGold, Questa Formal, or Synopsys VC Formal, and familiarity with hardware description languages like Verilog or VHDL, are typically required. Excellent problem-solving skills, attention to detail, and strong communication abilities help in collaborating remotely and ensuring thorough verification. These skills and qualities are essential to ensure the correctness of hardware designs, prevent costly errors, and maintain effective teamwork in a remote environment.

What are the main challenges of working remotely as a formal verification engineer, and how can they be addressed?

Working from home as a formal verification engineer often involves challenges such as effective collaboration across distributed teams, maintaining access to secure hardware environments, and managing complex verification toolchains remotely. To address these, companies typically provide robust remote access solutions, establish clear communication protocols, and schedule regular virtual meetings to ensure alignment. Additionally, leveraging version control systems and collaborative platforms helps maintain workflow efficiency and keeps all team members updated on project progress.

What is a Home Based Formal Verification job?

A Home Based Formal Verification job involves using mathematical and logical techniques to verify the correctness of hardware or software designs, all while working remotely. Professionals in this role use specialized tools to ensure that systems behave as intended, identifying potential errors before products go into production. Working from home, they collaborate with engineering teams through digital communication, reviewing code or hardware designs and writing formal specifications. This role is critical in industries like semiconductor, automotive, and aerospace, where system reliability is paramount.
More about Home Based Formal Verification jobs
What cities are hiring for Home Based Formal Verification jobs? Cities with the most Home Based Formal Verification job openings:
What are the most commonly searched types of Formal Verification jobs? The most popular types of Formal Verification jobs are:
What states have the most Home Based Formal Verification jobs? States with the most job openings for Home Based Formal Verification jobs include:
What job categories do people searching Home Based Formal Verification jobs look for? The top searched job categories for Home Based Formal Verification jobs are:
Home Based Formal Verification jobs near you
Infographic showing various Home Based Formal Verification job openings in the United States as of July 2026, with employment types broken down into 1% As Needed, 78% Full Time, 14% Part Time, and 7% Contract. Highlights an 92% Physical, 2% Hybrid, and 6% Remote job distribution, with an average salary of $43,051 per year, or $20.7 per hour.
GPU Formal Design Verification Engineer

GPU Formal Design Verification Engineer

Apple

Austin, TX

$134K - $164K/yr

Full-time

Posted 9 days ago

Apple rating

8.0

Company rating: 8.0 out of 10

Based on 673 frontline employees who took The Breakroom Quiz

7th of 30 rated technology retailers

Job description

Do you love creating elegant solutions to highly complex challenges? As part of our Silicon Technologies group, you’ll help design and manufacture our next-generation, high-performance, power-efficient processor, system-on-chip (SoC)! You’ll ensure Apple products and services can seamlessly and expertly handle the tasks that make them beloved by millions. Joining this group means you’ll be responsible for crafting and building the technology that fuels Apple’s devices. Together, you and your team will enable our customers to do all the things they love with their devices!
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 details of their block and how it works within the broader GPU design.
Description
In this role you will:
- Work with the design team to review and enhance specifications.
- Develop verification plans in coordination with design leads, verification leads and micro-architects.
- Develop and drive to completion formal verification across multiple design blocks.
- Conduct formal verification reviews with design and verification teams.
- Handle deliverables and work with multi-functional teams to support product requirements.
- Create automated flows and infrastructure for formal verification.
- Work with other block and core level engineers to ensure seamless verification flow.
Preferred Qualifications
Experience with HDLs such as Verilog/System Verilog and temporal logic assertion-based languages such as SVA.
Experience in formal verification and analysis of pipelined micro-architectures, MMUs, and cache coherency control mechanisms.
Experience with abstraction techniques and formal verification technologies.
Experience in reviewing and interpreting design specifications.
Experience using academic formal verification tools.
Knowledge of constrained random verification methods.
Ability to collaborate across multiple teams.
Minimum Qualifications
BS degree in Computer Science, Computer Engineering, Electrical Engineering or equivalent field + 3 years of relevant experience.
Experience with CPU or GPU design architectures, VLSI circuits, and digital logic design.
Experience with formal verification tools, such as JasperGold, IFV, etc.
Experience in programming/scripting languages.

What Apple employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

Apple logo

About Apple

Sourced by ZipRecruiter

Imagine what you could do here! At Apple, new ideas have a way of becoming extraordinary products, services, and customer experiences very quickly. Bring passion and dedication to your job and there's no telling what you could accomplish. Dynamic, intelligent people and inspiring, innovative technologies are the norm here. The people who work here have reinvented entire industries with all Apple Hardware products. The same real passion for innovation that goes into our products also applies to our practices strengthening our dedication to leave the world better than we found it.

Industry

Computer and electronic product manufacturing

Company size

10,000+ Employees

Headquarters location

Cupertino, CA, US

Year founded

1976

View All Apple Jobs

Apply