ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Austin, TX

Meta

ASIC Engineer, Design Verification

Austin, TX · On-site +1

$114K/yr

ASIC Engineer, Design Verification Responsibilities: * Define and implement block, IP, and SoC ... Apply formal verification and emulation techniques to complement simulation-based approaches and ...

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

Austin, TX

$114K/yr

Along with traditional simulation, you will be using other approaches like Formal and Emulation to ... ASIC Engineer, Design Verification Responsibilities: * Define and implement block/IP/System on Chip ...

Meta

ASIC Engineer, Design Verification

Austin, TX · On-site +1

$178K/yr

ASIC Engineer, Design Verification Responsibilities: * Define and implement IP/SoC verification ... Formal, Emulation * Experience in EDA tools and scripting (Python, TCL, Perl, Shell) used to build ...

SkyGrid

Senior Systems Engineer

Austin, TX · On-site +1

$103K - $141K/yr

This role directly supports certification and verification & validation planning, while following ... Support formal technical program gates, including SRR, PDR, CDR, TRR, and qualification reviews.

SkyGrid

Senior Systems Engineer

Austin, TX · On-site +1

$103K - $141K/yr

This role directly supports certification and verification & validation planning, while following ... Support formal technical program gates, including SRR, PDR, CDR, TRR, and qualification reviews.

next page

Showing results 1-20

All JobsFormal Verification Engineer JobsRemote Formal Verification Engineer JobsRemote Formal Verification Engineer Jobs in Austin, TX

Remote Formal Verification Engineer information

See Austin, TX salary details

$79.3K

$141.4K

$201.7K

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

As of Aug 2, 2026, the average yearly pay for remote formal verification engineer in Austin, TX is $141,366.00, according to ZipRecruiter salary data. Most workers in this role earn between $134,800.00 and $134,800.00 per year, depending on experience, location, and employer.

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.

What are Remote Formal Verification Engineers?

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, and why are they important?

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 are the most commonly searched types of Formal Verification Engineer jobs in Austin, TX? The most popular types of Formal Verification Engineer jobs in Austin, TX are:
What are popular job titles related to Remote Formal Verification Engineer jobs in Austin, TX? For Remote Formal Verification Engineer jobs in Austin, TX, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification Engineer jobs in Austin, TX look for? The top searched job categories for Remote Formal Verification Engineer jobs in Austin, TX are:
What cities near Austin, TX are hiring for Remote Formal Verification Engineer jobs? Cities near Austin, TX with the most Remote Formal Verification Engineer job openings:
Remote Formal Verification Engineer jobs near you
Infographic showing various Remote Formal Verification Engineer job openings in Austin, TX as of July 2026, with employment types broken down into 91% Full Time, 6% Part Time, and 3% Contract. Highlights an 87% Physical, 5% Hybrid, and 8% Remote job distribution, with an average salary of $141,366 per year, or $68 per hour.

Senior Formal Hardware Verification Engineer

Correct Designs

Austin, TX • On-site, Remote

$109K - $146K/yr

Other

Medical, Retirement

Re-posted 25 days ago

Job description

Current Openings >> Senior Formal Hardware Verification Engineer
Senior Formal Hardware Verification Engineer
Summary
Title: Senior Formal Hardware Verification Engineer ID: 1062 Location: Austin, TX
More about this job >
Description

Senior Formal Verification Engineer

Looking for new challenges?  Would you like the variety of a contract position along with long term stability and benefits? Correct Designs can give it all to you.

Correct Designs is currently seeking talented Formal Verification Engineers with experience working with a formal verification tool: Cadence Jasper, Mentor Quest FV or Synopsys VC Formal (Hector). Correct Designs has opportunities in a wide range of products including projects in AI and Machine Learning, processor fabric subsystems, SOC/ASIC products for vision processing, aerospace FPGAs, medical electronics, RISC-V based SoC, ARM based peripherals, and mixed signal DSPs. Successful candidates for this role will support verification of advanced CPU/GPU based SOCs.  

Correct Designs is NOT the typical contracting, staff augmentation firm.  Our engineers have respected long term roles with generous hourly rates in excellent team environments.  A typical contract may last 3 years, although we have shorter and even longer term work available. We are well respected in the Design Verification community with clients always seeking new CDI engineers. If you need a few months off between contracts you can take that break and know there will be plenty of work available when you return.  If you like the stability of always working, simply move to the next contract with little time off. Correct Designs does provide health care and retirement plan benefits.

We are based in Austin, Texas with clients throughout the US.  This position is located in Austin, TX.  We would prefer someone located in Austin, TX, but we are open to remote work.
Whether you are an experienced veteran looking for new challenges, or a talented engineer seeking to broaden your experience, we can offer exciting options for your career.  
Correct Designs uses E-Verify to confirm work status eligibility.
 

RESPONSIBILITIES:

  • Verify complex design blocks formal verification methods
  • Develop and execute pre-silicon verification test plans
  • Develop directed and random verification tests to validate block and IP functionality
  • Develop verification components and tools
  • Develop verification functional coverage using industry standard coverage analysis tools/methods
  • Debug regression fails 
  • Replicate functional issues found in external environments or post-silicon; review/enhance tests to verify bug fixes

 REQUIRED SKILLS AND EXPERIENCE:

  • 8 or more years of proven verification experience in a hardware development setting
  • Strong background in Formal verification methodologies
  • Strong debug skills and experience with debug tools such as DVE/Verdi
  • Proficiency in Object Oriented programming, computer architecture and data structures
  • Strong analytical/problem solving skills and pronounced attention to details
  • Strong interpersonal and communication skills
  • Must be comfortable working across geographies

DESIRED SKILLS:

  • Experience architecting/developing verification environments and infrastructure, including scripting using Perl, Ruby, Make, or similar
  • Experience in other related domains such as formal verification, RTL design, or software development

 EDUCATION:

Bachelor or Master's in Electrical Engineering, Computer Engineering, or Computer Science

Apply Now
 
Refer to a Friend

Alternatively, you can apply to this job using your profile from Indeed by clicking the button below:


Copyright 2026 Correct Designs. All rights reserved.
Powered by ApplicantStack Hiring Automation Software
Privacy Policy | Terms of Use

Apply