ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Dallas, TX

IC Enable

AMS Verification Engineer

Richardson, TX · On-site +1

$122K/yr

IC Enable is seeking an experienced AMS Verification Engineer to support advanced analog/mixed ... Richardson, TX (Hybrid Schedule, Remote considered based on experience and qualifications) What You ...

Analogdevices

Associate Design Verification Engineer

Dallas, TX · On-site +1

$134K - $164K/yr

... remote healthcare. ADI fosters a culture that focuses on employees through beneficial programs ... About the Role As an Associate Design Verification Engineer at Analog Devices, you will contribute ...

IC Enable

RTL Design/AMS Verification Engineer

Richardson, TX · On-site +1

$122K - $149K/yr

Remote Key Responsibilities * Develop, integrate, and verify Verilog RTL for digital and mixed ... Work closely with cross-functional engineering teams to support successful silicon development and ...

Purple Hires Inc

ASIC DFT Engineer

Plano, TX · Remote

Remote, (Onsite) Duration: Contract Year of Exp: 8+ yrs to 15 yrs. We are seeking a highly experienced Lead ASIC DFT Engineer to architect, implement, verify, and debug advanced DFT solutions for ...

Purple Hires Inc

ASIC Engineer - Remote

Plano, TX · Remote

... Lead ASIC DFT Engineer to architect, implement, verify, and debug advanced DFT solutions for ... Lead DFT architecture, implementation, verification, and sign-off for complex ASIC and SoC designs.

YO AI Labs

Backend Engineer - Remote

Dallas, TX · Remote

$80 - $120/hr

Remote Job Summary We are seeking experienced Senior Software Engineers to support an AI training ... You will design reproducible environments, deterministic verification, and reference solutions for ...

YO AI Labs

AI Engineer - Remote

Dallas, TX · Remote

$80 - $120/hr

Remote Job Summary We are seeking experienced Senior Software Engineers to support an AI training ... You will design reproducible environments, deterministic verification, and reference solutions for ...

IC Enable

RTL Design Engineer

Richardson, TX · On-site +1

$122K/yr

... verification, analog/mixed-signal, physical design, and product engineering teams. The RTL Design ... Richardson, TX (Hybrid, Remote considered based on experience and qualifications) What You'll Do:

Ascent Placement Partners

Be Seen First

Remote Software Engineer - Technical Advisor

Dallas, TX · Remote

$150/hr

Remote Software Engineer - Technical Advisor $150.00 USD/hour | 100% Remote (USA Only) | Mostly ... Reviewing full coding-agent session logs to assess what a model investigated, verified, assumed, or ...

New

YO AI Labs

Machine Learning Engineer - Remote

Dallas, TX · Remote

$80 - $120/hr

Remote Job Summary We are seeking experienced Senior Software Engineers to support an AI training ... You will design reproducible environments, deterministic verification, and reference solutions for ...

Stryker

Salesforce Software Engineer (Remote)

Dallas, TX · On-site +1

$133K - $222K/yr

Coordinate QA and UAT testing activities to verify and validate new functionality before release ... a formal complaint or charge, (b) in furtherance of an investigation, proceeding, hearing, or ...

YO AI Labs

AI Software Engineer - Remote

Dallas, TX · Remote

$80 - $120/hr

Remote Job Summary We are seeking experienced Senior Software Engineers to support an AI training ... You will design reproducible environments, deterministic verification, and reference solutions for ...

YO AI Labs

RL Environment Engineer - Remote

Dallas, TX · Remote

$80 - $120/hr

Remote Job Summary We are seeking experienced Senior Software Engineers to support an AI training ... You will design reproducible environments, deterministic verification, and reference solutions for ...

YO AI Labs

AI/ML Software Engineer - Remote

Dallas, TX · Remote

$80 - $120/hr

Remote Job Summary We are seeking experienced Senior Software Engineers to support an AI training ... You will design reproducible environments, deterministic verification, and reference solutions for ...

YO AI Labs

Backend Developer - Remote

Dallas, TX · Remote

$80 - $120/hr

Senior Software Engineer Job Type: Contractor (~15 hours/week) Location: Remote Job Summary We are ... You will design reproducible environments, deterministic verification, and reference solutions for ...

next page

Showing results 1-20

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

Remote Formal Verification Engineer information

See Dallas, TX salary details

$79.1K

$141.1K

$201.3K

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

As of Sep 5, 2026, the average yearly pay for remote formal verification engineer in Dallas, TX is $141,084.00, according to ZipRecruiter salary data. Most workers in this role earn between $134,500.00 and $134,500.00 per year, depending on experience, location, and employer.

What is a remote formal verification engineer?

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?

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 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 popular job titles related to Remote Formal Verification Engineer jobs in Dallas, TX?

For Remote Formal Verification Engineer jobs in Dallas, TX, the most frequently searched job titles are:

What job categories do people searching Remote Formal Verification Engineer jobs in Dallas, TX look for?

The top searched job categories for Remote Formal Verification Engineer jobs in Dallas, TX are:

What cities near Dallas, TX are hiring for Remote Formal Verification Engineer jobs?

Cities near Dallas, TX with the most Remote Formal Verification Engineer job openings:

Remote Formal Verification Engineer jobs near you

AMS Verification Engineer

IC Enable

Richardson, TX • On-site, Remote

$122K/yr

Full-time

Posted 24 days ago

Key responsibilities

  • Develop and execute AMS verification plans for block, subsystem, and full-chip designs

  • Build, configure, and debug mixed-signal simulation testbenches using Cadence tools

  • Run simulations, analyze results, and resolve design or modeling issues with cross-functional teams

Job description

IC Enable is seeking an experienced AMS Verification Engineer to support advanced analog/mixed-signal IC development for semiconductor, medical, and defense applications.
You will develop verification plans, build and debug mixed-signal testbenches, run simulations, analyze results, and collaborate with cross-functional engineering teams to ensure designs meet functional and performance requirements.
Location: Richardson, TX (Hybrid Schedule, Remote considered based on experience and qualifications)
What You’ll Do
Application areas may include: ROICs, sensor interfaces, wireless transceivers, ultrasound, neurostimulation, energy harvesting, and other advanced mixed-signal systems.
  • Develop and execute AMS verification plans for block, subsystem, and full-chip designs
  • Build, configure, and debug mixed-signal simulation testbenches using Cadence tools
  • Run simulations, analyze results, and resolve design or modeling issues with cross-functional teams
  • Verify mixed-signal interfaces, sensor interfaces, data converters, power management, RF/high-speed blocks, and related AMS subsystems
  • Maintain test plans, results, coverage summaries, and verification documentation
  • Support design reviews, silicon readiness, bring-up planning, and product delivery
What We’re Looking For
  • Bachelor’s or Master’s degree in Electrical Engineering or related field
  • 5+ years of experience in AMS verification, mixed-signal simulation, or IC development
  • Hands-on experience with verification planning, testbench development, simulation setup, debug, and results analysis
  • Experience with Cadence AMS verification tools and analog/mixed-signal IC verification flows
  • Strong debugging, analytical, communication, and problem-solving skills
  • Eligibility to work on ITAR-controlled projects, which may require U.S. citizenship or lawful permanent resident status
** Please note, we are not able to support visa sponsorship for this role.
Preferred Experience
  • Experience with IP integration and mixed-signal subsystem verification
  • Programming or automation experience with Python, Perl, Tcl, or SKILL
  • Experience with sensor interfaces, data converters, power management, RF systems, ROICs, biomedical devices, or similar mixed-signal applications
  • Familiarity with semiconductor process technologies and manufacturing environments
Why IC Enable?
For more than 20 years, IC Enable has delivered world-class design IP, semiconductor products, engineering services, and platform solutions to customers ranging from innovative startups to Fortune 50 companies. Our expertise spans high-reliability mixed-signal and digital IC development, while our platform solutions support leading IDMs, foundries, and IP providers.
This is an exciting opportunity to join a team that is driving innovation across the Semiconductor, Medical, and Defense industries. We specialize in advanced technology development, full-custom ASIC/SoC design, and electronics development for some of the industry's most challenging fabrication processes and product applications.
At IC Enable, you’ll work on challenging semiconductor programs with experienced technical teams and industry-leading customers. We offer competitive benefits, meaningful technical work, and a collaborative engineering environment.
IC Enable is an Equal Opportunity Employer
IC Enable logo

About IC Enable

Sourced by ZipRecruiter

Industry

Semiconductor and electronic component manufacturing

Company size

51 - 200 Employees

Headquarters location

Dallas, TX, US

Year founded

2004

View All IC Enable Jobs

Apply