2

Remote Formal Verification Jobs (NOW HIRING)

Senior FPGA Engineer

Herndon, VA · On-site +1

$133K - $171K/yr

This position is based out of our Herndon, VA location with the option of a remote work schedule ... FPGA design experience with physical synthesis, static timing analysis, formal verification, power ...

Space Systems Engineer

Redwood City, CA · On-site +1

$150K - $250K/yr

We value rapid testing and iteration over protracted analysis and formal verification: you'll own ... S. commercial remote sensing regulations (NOAA), FCC spectrum licensing processes, and export ...

We value rapid testing and iteration over protracted analysis and formal verification: you'll own ... S. commercial remote sensing regulations (NOAA), FCC spectrum licensing processes, and export ...

Remote Administrator on Call

Tampa, FL · On-site +1

$16.75 - $22.50/hr

Participates in performance improvement initiatives, identifying trends and supporting formal staff ... Provides regulatory oversight and verification of critical aspects of the donation process such as ...

next page

Showing results 1-20

Remote Formal Verification information

See salary details

$12

$20

$39

How much do remote formal verification jobs pay per hour?

As of Jun 9, 2026, the average hourly pay for remote 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 is remote formal verification?

Remote formal verification refers to the process of using mathematical techniques and specialized software tools to rigorously prove the correctness of hardware or software systems, typically while working from a remote location. Unlike traditional testing, formal verification provides guarantees about system behavior by checking against formal specifications. Professionals in this field often collaborate with teams online, review code or hardware designs, and use tools such as model checkers or theorem provers to identify and eliminate potential errors before deployment.

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

AspectRemote Formal VerificationRemote Hardware Verification
CredentialsTypically requires degrees in Computer Science or Electrical Engineering, plus certifications in formal methodsRequires degrees in Electrical Engineering, Computer Engineering, or related fields; certifications may include FPGA or ASIC design
Work EnvironmentPrimarily focused on software tools, modeling, and mathematical proofs, often in a remote settingInvolves testing and validation of hardware prototypes or designs, often in labs or remotely via simulation tools
Industry UsageUsed in semiconductor, aerospace, and safety-critical software industriesCommon in semiconductor, electronics manufacturing, and embedded systems industries

Remote Formal Verification focuses on mathematically proving the correctness of hardware or software designs using formal methods, often in a software-centric environment. Remote Hardware Verification involves testing physical hardware or simulations to ensure hardware functions correctly. Both roles require technical expertise but differ in their focus on software proofs versus hardware testing.

What are some common challenges faced by remote formal verification engineers, and how can they be addressed?

Remote formal verification engineers often face challenges related to effective collaboration and communication, as formal verification requires close coordination with design and verification teams. Working across time zones and relying on digital tools can make it harder to quickly resolve ambiguities in specifications or debug issues. To address these challenges, it’s essential to establish clear documentation practices, schedule regular video meetings, and actively participate in code reviews and knowledge-sharing sessions. Leveraging collaborative platforms and maintaining open communication channels can help mitigate the impact of physical distance and ensure project goals are met efficiently.

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

To thrive as a Remote Formal Verification Engineer, you need expertise in digital design, formal methods, and verification methodologies, usually supported by a degree in electrical engineering, computer engineering, or computer science. Familiarity with formal verification tools like JasperGold, Questa Formal, or OneSpin, and proficiency in hardware description languages (HDLs) such as Verilog or VHDL are critical. Strong analytical thinking, attention to detail, and clear communication are standout soft skills, especially when collaborating remotely with global teams. These skills and qualifications are essential to ensure that complex hardware designs are reliable, bug-free, and meet stringent industry standards.
More about Remote Formal Verification jobs
What cities are hiring for Remote Formal Verification jobs? Cities with the most Remote 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 Remote Formal Verification jobs? States with the most job openings for Remote Formal Verification jobs include:
Infographic showing various Remote Formal Verification job openings in the United States as of May 2026, with employment types broken down into 86% Full Time, 12% Part Time, 1% Temporary, and 1% 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.
ASIC Digital Design, Senior Staff Engineer

ASIC Digital Design, Senior Staff Engineer

Synopsys

Austin, TX • On-site, Remote

$138K - $208K/yr

Other

Posted 9 days ago


Job description

Date posted 03/26/2026 Category Engineering Hire Type Employee Job ID 15247 Base Salary Range $138000-$208000 Remote Eligible No Date Posted 03/26/2026

We Are:

At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon chips and software content. Join us to transform the future through continuous technological innovation.


You Are:

A highly skilled and motivated ASIC Digital Design Engineer with a passion for technology and innovation. You have a deep understanding of digital design and a proven track record in the industry. Your expertise in PCIe and experience in designing and verifying complex ASICs make you an ideal candidate for this role. You thrive in a fast-paced environment and enjoy collaborating with a diverse team of engineers to deliver cutting-edge solutions. You are detail-oriented, possess strong problem-solving skills, and have the ability to work independently with minimal supervision. Your excellent communication skills enable you to effectively convey complex technical concepts to both technical and non-technical stakeholders. You are committed to continuous learning and staying updated with the latest advancements in technology.


What You'll Be Doing:

  • Define and develop ASIC RTL design and verification at both chip level and block level.
  • Collaborate with cross-functional teams to design, implement, and verify PCIe interfaces.
  • Perform RTL coding, synthesis, and simulation to ensure design functionality and performance.
  • Conduct design reviews and provide technical guidance to junior engineers.
  • Work closely with physical design teams to ensure seamless integration and optimization.
  • Debug and resolve design issues to ensure timely delivery of high-quality products.


The Impact You Will Have:

  • Contribute to the development of high-performance silicon chips that power next-generation technologies.
  • Enhance the functionality and performance of Synopsys' PCIe solutions.
  • Drive innovation and improve design methodologies within the team.
  • Ensure the successful delivery of complex ASIC projects on time and within budget.
  • Mentor and guide junior engineers, fostering a culture of continuous learning and development.
  • Collaborate with cross-functional teams to deliver integrated and optimized solutions for our customers.


What You'll Need:

  • Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, or a related field.
  • Extensive experience in ASIC digital design and verification.
  • Strong knowledge of PCIe protocols and interfaces.
  • Proficiency in RTL coding (Verilog/SystemVerilog) and simulation tools.
  • Experience with synthesis, timing analysis, and formal verification.


Who You Are:

  • Detail-oriented with strong analytical and problem-solving skills.
  • Excellent communication and interpersonal skills.
  • Ability to work independently and as part of a team.
  • Strong organizational and time management skills.
  • Committed to continuous learning and staying updated with the latest industry trends.


The Team You'll Be A Part Of:

Join a dynamic and collaborative team of engineers dedicated to designing and delivering high-performance silicon solutions. Our team focuses on innovation, quality, and continuous improvement, working together to solve complex technical challenges and deliver industry-leading products.


Rewards and Benefits:

We offer a comprehensive range of health, wellness, and financial benefits to cater to your needs. Our total rewards include both monetary and non-monetary offerings. Your recruiter will provide more details about the salary range and benefits during the hiring process.

At Synopsys, we want talented people of every background to feel valued and supported to do their best work. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, age, military veteran status, or disability.

In addition to the base salary, this role may be eligible for an annual bonus, equity, and other discretionary bonuses. Synopsys offers comprehensive health, wellness, and financial benefits as part of a competitive total rewards package. The actual compensation offered will be based on a number of job-related factors, including location, skills, experience, and education. Your recruiter can share more specific details on the total rewards package upon request. The base salary range for this role is across the U.S.


Synopsys logo

About Synopsys

Sourced by ZipRecruiter

Synopsys, Inc. (Nasdaq:SNPS) is the Silicon to Software partner for creative companies developing the electronic products and software applications we rely on every single day. As the world's 15th largest software company, Synopsys has a long history of being a global leader in electronic design automation (EDA) and semiconductor IP and is also growing its leadership in software quality and security solutions. Whether you're a system-on-chip (SoC) designer building advanced semiconductors, or a software developer writing applications that require the highest quality and security, Synopsys has the solutions needed to deliver exceptional, secure products for the era of connected everything. The company is headquartered in Mountain View, California, and has approximately 113 offices located throughout North America, South America, Europe, Japan, Asia and India. Since 1986, Synopsys has been at the heart of accelerating electronics innovation with engineers around the world having used Synopsys technology to successfully design and create billions of chips and systems that are found in the electronics that people rely on every single day.

Industry

Computer and computer peripheral equipment and software wholesalers

Company size

10,000+ Employees

Headquarters location

Mountain View, CA, US

Year founded

1986

Social media