ZipRecruiter

Log In

1

Home Based Formal Verification Jobs (NOW HIRING)

MatX

Formal Verification Engineer

Mountain View, CA · On-site

$150K - $287K/yr

... based on a variety of factors including role, experience, location, job-related skills, and ... Remote Perks - We work remotely Monday & Friday, supported by home-tech setup and remote wifi ...

Intel

CPU Formal Verification Engineer

Folsom, CA · On-site

$145K/yr

Conducts verification of IP and/or SoC microarchitecture using formal verification tools, methodologies, and technologies based on model checking and equivalence checking algorithms. * Creates ...

Intel

CPU Formal Verification Engineer

Santa Clara, CA · On-site

$159K/yr

Conducts verification of IP and/or SoC microarchitecture using formal verification tools, methodologies, and technologies based on model checking and equivalence checking algorithms. * Creates ...

Nvidia

Senior Formal Verification Engineer

Austin, TX · Hybrid

$134K/yr

As a Formal Verification Engineer, you will play a key role in ensuring the functional correctness ... will be determined based on your location, experience, and the pay of employees in similar ...

Nvidia

Senior Formal Verification Engineer

Santa Clara, CA · On-site

$159K/yr

As a Formal Verification Engineer, you will play a key role in ensuring the functional correctness ... Your base salary will be determined based on your location, experience, and the pay of employees in ...

Intel

CPU Formal Verification Engineer

Austin, TX · On-site

$134K/yr

Conducts verification of IP and/or SoC microarchitecture using formal verification tools, methodologies, and technologies based on model checking and equivalence checking algorithms. * Creates ...

Intel

CPU Formal Verification Engineer

Phoenix, AZ · On-site

$135K/yr

Conducts verification of IP and/or SoC microarchitecture using formal verification tools, methodologies, and technologies based on model checking and equivalence checking algorithms. * Creates ...

Nvidia

Senior Formal Verification Engineer

Westford, MA · Hybrid

$141K/yr

As a Formal Verification Engineer, you will play a key role in ensuring the functional correctness ... will be determined based on your location, experience, and the pay of employees in similar ...

Nvidia

Senior Formal Verification Engineer

Santa Clara, CA · Hybrid

$159K/yr

As a Formal Verification Engineer, you will play a key role in ensuring the functional correctness ... will be determined based on your location, experience, and the pay of employees in similar ...

Intel

CPU Formal Verification Engineer

Hillsboro, OR · On-site

$148K/yr

Conducts verification of IP and/or SoC microarchitecture using formal verification tools, methodologies, and technologies based on model checking and equivalence checking algorithms. * Creates ...

Qualcomm

ASICS Design Verification Engineer

San Diego, CA · On-site

$115K - $173K/yr

Knowledge or experience with Assertion Based Formal Verification is desirable (not mandatory ... ome, and at play. Your recruiter will be happy to discuss all that Qualcomm has to offer - and you ...

MatX

Formal Verification Engineer

Mountain View, CA · On-site +1

$150K - $287K/yr

... based on a variety of factors including role, experience, location, job-related skills, and ... Remote Perks - We work remotely Monday & Friday, supported by home-tech setup and remote wifi ...

Qualcomm

ASICS Design Verification Engineer

San Diego, CA · On-site

$115K - $173K/yr

Knowledge or experience with Assertion Based Formal Verification is desirable (not mandatory ... ome, and at play. Your recruiter will be happy to discuss all that Qualcomm has to offer - and you ...

Apple

GPU Formal Design Verification Engineer

Austin, TX · On-site

$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 ...

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 Jun 30, 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 June 2026, with employment types broken down into 85% Full Time, and 15% Part Time. Highlights an 77% Physical, 1% Hybrid, and 22% Remote job distribution, with an average salary of $43,051 per year, or $20.7 per hour.

Formal Verification Engineer

MatX

Mountain View, CA • On-site

$150K - $287K/yr

Full-time

Medical, Dental, Vision, Life, Retirement, PTO

Posted 11 days ago

Key responsibilities

  • Apply model checking and formal property verification to RTL blocks, memory subsystems, and interconnects using formal verification tools.

  • Develop and maintain machine-checked proofs for critical compiler transformations to ensure correctness of lowering passes from high-level programming models to hardware.

  • Build embeddings of hardware description languages and simulator models into interactive theorem provers and use them to prove functional correctness and microarchitectural properties against designs.

Job description

What MatX Is Building
MatX's mission is to make the world's best AI models run as efficiently as allowed by physics, bringing the world years ahead in AI quality and availability. We build the full stack-from silicon and rack design through compilers, kernels, and ML models. We are seeking a Formal Verification Engineer to bring rigorous mathematical guarantees to our hardware and software at every layer of the stack.
What You'll Do Here
  • Apply model checking and formal property verification to RTL blocks, memory subsystems, and interconnects, providing complete coverage wherever possible, using tools such as JasperGold or VC-Formal.
  • Develop and maintain machine-checked proofs for critical compiler transformations, ensuring correctness of lowering passes from our high-level programming model down to hardware
  • Build embeddings of our hardware description languages and simulator models into interactive theorem provers (e.g. Lean 4, Rocq, Isabelle/HOL), and use those embeddings to prove functional correctness and microarchitectural properties directly against the designs
  • Collaborate with architecture, compiler, and silicon verification teams to identify correctness properties worth proving and translate them into tractable proof obligations
  • Drive methodology for integrating formal tools (JasperGold, SymbiYosys, or equivalent) into our existing practices

Who You Are
  • Hands-on experience with hardware model checking-writing SVA/PSL properties, running bounded or unbounded proofs, and closing out formal verification targets at block or subsystem level
  • Practical experience with at least one interactive theorem prover (Lean, Coq, Isabelle/HOL, Agda, or similar)
  • Experience embedding an existing language or IR into a theorem prover-whether an HDL, compiler IR, ISA, or similar-is a strong plus
  • Experience with compiler correctness proofs or verified compilation (e.g. CompCert-style or translation validation) is a strong plus
  • Comfort working across the hardware/software boundary: you understand both RTL microarchitecture and compiler IR design well enough to find the correctness properties that matter
  • Able to work in a small team where the scope of what you own will be large and shift quickly

Compensation
The US base salary for this full-time position is determined based on a variety of factors including role, experience, location, job-related skills, and relevant education and training. Career length is only a guideline for compensation.
  • Early Career - $120,000 - $212,500 + equity
  • Mid Career - $150,000 - $287,500 + equity
  • Senior Career - $200,000 - $425,000 + equity

What We Offer
  • A Stake in our success A flexible cash equity compensation mix that fits your needs
  • Health & Wellness - Company subsidized health, dental, vision, and life insurance; pre-tax HSA with generous company contribution
  • Time To Recharge - 4 weeks paid time off (accrued), 12 company holidays, and 3 weeks remote/flexible work per year
  • Support to Parents - Up to 12 weeks of paid parental leave, regardless of your path to parenthood
  • Learning & Development - $1,500 yearly toward conferences, courses, and other learning opportunities
  • Team Connection - Team lunches, quarterly off-sites, and regular town halls
  • Financial Wellbeing - 401K and/or Roth IRA with 5% company contribution, even if you don't contribute
  • Flexible Spending Accounts - Pre-tax spend accounts for medical, dependent care, parking, and transit
  • Commute On Us - For those commuting up to 1 hour, put your rideshare cost on our company card
  • MatX E[x]tras - $50/month to use on the perks you care about most
  • Remote Perks - We work remotely Monday & Friday, supported by home-tech setup and remote wifi reimbursement

As part of our dedication to the diversity of our team and our focus on creating an inviting and inclusive work experience, MatX is committed to a policy of Equal Employment Opportunity and will not discriminate against an applicant or employee on the basis of race, color, religion, creed, national origin or ancestry, sex, gender, gender identity, gender expression, sexual orientation, age, physical or mental disability, medical condition, marital/domestic partner status, military and veteran status, genetic information or any other legally recognized protected basis under federal, state or local laws, regulations or ordinances.
All candidates must be authorized to work in the United States and work from our offices in Mountain View Tuesdays-Thursdays.
This position requires access to information that is subject to U.S. export controls. This offer of employment is contingent upon the applicant's capacity to perform job functions in compliance with U.S. export control laws without obtaining a license from U.S. export control authorities.
MatX does not accept unsolicited resumes from individual recruiters or third-party recruiting agencies in response to job postings. No fee will be paid to third parties who submit unsolicited candidates directly to our hiring managers or People team, and any resumes submitted are deemed to be the property of MatX.

Apply