ZipRecruiter

Log In

1

Home Based Formal Verification Jobs (NOW HIRING)

Astera Labs

Distinguished Formal Verification

San Jose, CA · On-site

$159K/yr

The company's custom connectivity solutions business complements its standards-based portfolio ... Astera Labs is seeking a Distinguished Engineer, Formal Verification to join our world-class ...

Apple

Formal Verification Engineer

Austin, TX

$181K - $318K/yr

Work with the best Formal Verification team in the world and acquire experience being at the center ... Knowledge and experience in interpreting hardware specifications Temporal logic assertion-based ...

Apple

Formal Verification Engineer

Austin, TX

$147K - $272K/yr

Learn from the best Formal Verification team in the world and acquire experience being at the ... Temporal logic assertion-based languages such as SVA or PSL. Experience in using EDA formal tools ...

Apple

Formal Verification Engineer

Austin, TX

$181K - $318K/yr

Work with the best Formal Verification team in the world and acquire experience being at the center ... Knowledge and experience in interpreting hardware specifications Temporal logic assertion-based ...

Apple

Formal Verification Engineer

Austin, TX

$147K - $272K/yr

Learn from the best Formal Verification team in the world and acquire experience being at the ... Temporal logic assertion-based languages such as SVA or PSL. Experience in using EDA formal tools ...

Apple

Formal Verification Engineer

Austin, TX · On-site

$134K/yr

Work with the best Formal Verification team in the world and acquire experience being at the center ... Knowledge and experience in interpreting hardware specificationsTemporal logic assertion-based ...

Apple

Formal Verification Engineer

Austin, TX · On-site

$134K/yr

Learn from the best Formal Verification team in the world and acquire experience being at the ... Temporal logic assertion-based languages such as SVA or PSL.Experience in using EDA formal tools ...

DensityAI

DV Formal Verification

Mountain View, CA · On-site

$220K - $400K/yr

About the role Own block- and SOC-level formal verification, debug, and proof convergence for our ... and other employment-based visas, and we welcome applicants on F-1 OPT and STEM-OPT. Work ...

Apple

Formal Verification Engineer

Austin, TX

$147K - $272K/yr

Learn from the best Formal Verification team in the world and acquire experience being at the ... Temporal logic assertion-based languages such as SVA or PSL. Experience in using EDA formal tools ...

Apple

Formal Verification Engineer

Austin, TX

$181K - $318K/yr

Work with the best Formal Verification team in the world and acquire experience being at the center ... Knowledge and experience in interpreting hardware specifications Temporal logic assertion-based ...

Nvidia

Senior Formal Verification Engineer

Hillsboro, OR · Hybrid

$148K/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 ...

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

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

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 9, 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
Distinguished Formal Verification

Distinguished Formal Verification

Astera Labs

San Jose, CA • On-site

$159K/yr

Full-time

Posted 14 days ago

Job description

Astera Labs (NASDAQ: ALAB) provides rack-scale AI infrastructure through purpose-built connectivity solutions. By collaborating with hyperscalers and ecosystem partners, Astera Labs enables organizations to unlock the full potential of modern AI. Astera Labs' Intelligent Connectivity Platform integrates CXL®, Ethernet, NVLink, PCIe®, and UALink™ semiconductor-based technologies with the company's COSMOS software suite to unify diverse components into cohesive, flexible systems that deliver end-to-end scale-up, and scale-out connectivity. The company's custom connectivity solutions business complements its standards-based portfolio, enabling customers to deploy tailored architectures to meet their unique infrastructure requirements. Discover more at www.asteralabs.com.
Astera Labs is seeking a Distinguished Engineer, Formal Verification to join our world-class engineering team in San Jose, California. As a hyper-growth leader in AI infrastructure connectivity, we're revolutionizing how data centers handle explosive AI workloads through cutting-edge PCIe Gen 6/7, CXL, Ethernet, UCIe, and UALink technologies. This is a rare opportunity to shape the formal verification strategy across our entire product portfolio while working on the most advanced connectivity solutions powering the AI revolution.
In this highly strategic role, you'll serve as Astera Labs' technical authority on formal verification, defining methodologies and best practices that ensure the highest quality standards across all our next-generation connectivity products. You'll work at the intersection of innovation and reliability, leading efforts to catch critical corner-case bugs that traditional verification methods miss, while mentoring a global team of engineers and representing Astera Labs as a thought leader in the formal verification community. This position offers exceptional scope for impact-your work will directly enable the rack-scale AI infrastructure that's transforming cloud computing and enterprise data centers worldwide.
Key Responsibilities
  • Strategic Leadership & Methodology Development
    • Define and evolve formal verification strategy, methodologies, and best practices across all product lines for PCIe, CXL, Ethernet, UCIe, and UALink protocols
    • Serve as technical authority on formal verification, providing expert guidance to engineering leadership on risk mitigation and design quality
    • Represent Astera Labs in industry forums, standards bodies, and technical conferences as a thought leader in formal verification
    • Drive cross-functional collaboration to influence technical direction across the organization
  • Technical Execution & Innovation
    • Develop detailed formal verification test plans based on design specifications and collaborate with design teams to refine micro-architecture specifications
    • Identify key logic components and critical micro-architectural properties essential for ensuring design correctness
    • Implement formal verification models, abstractions, assertions, and utilize assertion-based model checking to detect corner-case bugs
    • Apply complexity reduction techniques using industry-standard EDA tools to achieve proof convergence or sufficient depth
    • Develop and maintain scripts to enhance FV productivity and streamline verification processes
  • Team Development & Cross-Functional Partnership
    • Mentor Principal and Lead Engineers across global sites in advanced formal verification techniques
    • Assist design teams with the implementation of assertions and formal verification testbenches for RTL at unit/block levels
    • Participate in design reviews and collaborate with design teams to optimize design quality and performance, power, area (PPA) metrics based on formal analysis feedback
    • Prepare and deliver customer meetings and executive presentations with minimal supervision

Basic Qualifications
  • Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or related technical field
  • 15+ years of experience in formal verification or 18+ years of experience in traditional design verification with significant formal verification specialization
  • Strong proficiency in SystemVerilog/Verilog with deep understanding of hardware design verification
  • Advanced scripting abilities with Python or Perl for automation and productivity enhancement
  • Proven ability to manage and prioritize multiple high-impact tasks in a dynamic, fast-paced environment with minimal supervision
  • Strong cross-functional collaboration skills with demonstrated ability to influence technical direction and drive consensus
  • Entrepreneurial mindset with proactive, customer-focused attitude and ability to think and act quickly while maintaining high quality standards

Preferred Qualifications
  • Master's or PhD in Electrical Engineering, Computer Engineering, Computer Science, or Mathematics with focus on formal methods or verification
  • Hands-on experience with formal verification tools such as Synopsys VCFormal and Cadence JasperGold
  • Experience with both bug hunting and static proof verification techniques
  • Familiarity with automating formal verification workflows within a CI/CD environment
  • Deep knowledge of high-speed serial protocols: PCIe Gen 4/5/6/7, CXL, Ethernet (100G/400G/800G), UCIe, UALink
  • Participation in industry standards bodies (PCI-SIG, CXL Consortium, IEEE, UCIe Consortium)
  • Patents or publications in formal verification or hardware verification methodologies
  • Track record of recruiting, mentoring, and developing formal verification talent across distributed teams

Salary range is $230,000 to $285,000 depending on experience, level, and business need. This role may be eligible for discretionary bonus, incentives and benefits.
We know that creativity and innovation happen more often when teams include diverse ideas, backgrounds, and experiences, and we actively encourage everyone with relevant experience to apply, including people of color, LGBTQ+ and non-binary people, veterans, parents, and individuals with disabilities.

Apply