ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Carson, CA

Booz Allen Hamilton, Inc.

Digital Engineer

El Segundo, CA · On-site +1

$86K - $198K/yr

Remote Work: Hybrid Job Number: R0244644 Location: El Segundo,CA,US Share job via: Share Digital ... Experience with Model-Based Verification and Validation * Experience with MATLAB, STK, ModelCenter ...

Turion Space

Staff Spacecraft Systems Engineer

Irvine, CA · Remote

$190K - $260K/yr

Define and execute verification and validation plans (test, demonstration, analysis, inspection) at ... Strong track record leading teams through formal technical milestones (SRR, PDR, CDR, TRR, etc.

The Aerospace Corporation

Optical Engineer

El Segundo, CA · On-site +1

$137K - $177K/yr

At the Mission Payloads Division (MPD), we are pioneers in remote sensing systems that guide our ... Leading lasercom system validation and verification activities which may include testing, modeling ...

Tetra Tech

Structural Engineer (Remote)

Pasadena, CA · On-site +1

Tetra Tech is adding an Intermediate Structural Engineer to our Power team. Why Tetra Tech: At ... Preparation and/or verification of design drawings and calculations * Preparation and/or ...

Red Cup IT Inc

Systems Engineer

Los Angeles, CA · On-site +1

We are looking for an MSP Systems Engineer who is responsible for maintaining, supporting, and ... remote access solutions. * Maintain backup and disaster recovery solutions, regularly verify ...

Mondo

Full Stack Engineer

Irvine, CA · Remote

$160K - $190K/yr

Remote (PST / MST / CST timezones; overlap with Australia required, especially in the first few ... verify, and take accountability for AI-generated output. * Strong engineering judgment, with the ...

next page

Showing results 1-20

All JobsFormal Verification Engineer JobsRemote Formal Verification Engineer JobsRemote Formal Verification Engineer Jobs in Carson, CA

Remote Formal Verification Engineer information

See Carson, CA salary details

$83.7K

$149.2K

$212.8K

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

As of Jul 27, 2026, the average yearly pay for remote formal verification engineer in Carson, CA is $149,155.00, according to ZipRecruiter salary data. Most workers in this role earn between $142,200.00 and $142,200.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 popular job titles related to Remote Formal Verification Engineer jobs in Carson, CA? For Remote Formal Verification Engineer jobs in Carson, CA, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification Engineer jobs in Carson, CA look for? The top searched job categories for Remote Formal Verification Engineer jobs in Carson, CA are:
What cities near Carson, CA are hiring for Remote Formal Verification Engineer jobs? Cities near Carson, CA 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 Carson, CA as of June 2026, with employment types broken down into 1% As Needed, 84% Full Time, 11% Part Time, and 4% Contract. Highlights an 39% Physical, 2% Hybrid, and 59% Remote job distribution, with an average salary of $149,155 per year, or $71.7 per hour.
Design Verification Engineer - Remote - Contract opportunity

Design Verification Engineer - Remote - Contract opportunity

Zodiac Solutions

Irvine, CA • Remote

$139K - $169K/yr

Contractor

Posted 3 days ago

Job description

Role – Design Verification Engineer

Location – Remote (must be aligned with PST time zone)

Duration- Contract opportunity

 Job Description and other details –

We are seeking an ASIC Design Verification Engineer whose role will be to verify the functionality, performance, and robustness of our custom silicon designs. You will help define the verification approach, contribute to methodology, and work closely with architecture, RTL design, DFT, firmware, physical design, and silicon validation engineers. This is a hands-on role with high ownership, deep technical engagement, and the opportunity to shape first-generation silicon. 

Qualifications 

  • B.S. or M.S. in Electrical Engineering, Computer Engineering, or related field.
  • 3+ years of experience in ASIC/SoC verification.
  • Solid understanding of SystemVerilog, digital logic, and hardware verification flows.
  • Proficiency with a simulation (VCS, Xcelium, Questa), waveform debug (Verdi, SimVision) and coverage tool.
  • Experience with test planning, testbench development, constrained-random testing, and coverage analysis.
  • Familiarity with a scripting language (ex: Python, Perl, TCL) and revision control system (ex: Git). 

Responsibilities 

  • Develop and execute verification plans for block-level, subsystem-level, and full-chip environments.
  • Build SystemVerilog/UVM test benches, including agents, monitors, scoreboards, checkers, and coverage models.
  • Write SystemVerilog Assertions (SVA) and integrate formal verification where appropriate.
  • Drive constrained-random and directed testing strategies to validate functionality, corner cases, and stress scenarios.
  • Run simulations, triage failures, drive root-cause analysis, and collaborate with RTL designers to resolve issues.
  • Implement and maintain functional coverage, code coverage, assertion coverage, and ensure coverage closure for sign-off.
  • Manage regression testing, simulation farms, and CI pipelines to ensure high test throughput and fast debug iterations.
  • Participate in design reviews and microarchitecture discussions.