ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Dallas, TX

YO AI Labs

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

Luxus

Electrical Engineer

Irving, TX · On-site +1

$70K - $180K/yr

Hybrid (M-Th In-Office; Fridays Remote 8:30 AM - 12:00 PM) Salary: $70,000 - $180,000 (Based on 3 ... Act as a dedicated resource for junior staff, providing over-the-shoulder training and formal ...

Luxus

Electrical Engineer

Irving, TX · On-site +1

$70K - $180K/yr

Hybrid (M-Th In-Office; Fridays Remote 8:30 AM - 12:00 PM) Salary: $70,000 - $180,000 (Based on 3 ... Act as a dedicated resource for junior staff, providing over-the-shoulder training and formal ...

YO AI Labs

AI coding agents Expert - 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 ...

YO AI Labs

SWE AI Training Data Expert - 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 ...

Resource Innovations

Energy Engineer

Dallas, TX · Remote

This position may be remote, with a preferred location in Illinois, Iowa, Massachusetts, New Jersey ... Conduct measurement and verification activities to establish facility operating conditions, confirm ...

Resource Innovations

Energy Engineer

Dallas, TX · On-site +1

This position may be remote, with a preferred location in Illinois, Iowa, Massachusetts, New Jersey ... Conduct measurement and verification activities to establish facility operating conditions, confirm ...

YO AI Labs

AI Trainer - 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 ...

3Mcompany

Software Engineer

Dallas, TX · Remote

Remote - Utah: Remote - Oklahoma: US, TX, Dallas, Virtual: Remote - Maine: Remote ... with verification and validation.* Demonstrated problem solving and analysis skills with the ...

3Mcompany

Software Engineer

Dallas, TX · Remote

Remote - Utah: Remote - Oklahoma: US, TX, Dallas, Virtual: Remote - Maine: Remote ... with verification and validation.* Demonstrated problem solving and analysis skills with the ...

YO AI Labs

AI Technical Trainer - 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 ...

Purple Hires Inc

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

previous pagenext page

Showing results 21-40

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

Urgent Need - Release Train Engineer -- (REMOTE till COVID)

Navtech, Inc.

Dallas, TX • On-site, Remote

Full-time

Re-posted 8 days ago

Job description

I have an opportunity for "Release Train Engineer -- (REMOTE till COVID)" and I am looking for a candidate who can join Immediately if you are interested, reply to me with your updated resume or if you could refer someone I would really appreciate it.
Position : Release Train Engineer
Location : Dallas, TX or Hartford, CT or Downer Grove, IL (REMOTE till COVID)
Duration : 6 to 12 Months
Detailed description:
  • 5+ healthcare knowledge
  • Must worked in SAFe agile program delivery methodology
  • Know how to conduct scrum of scrums
  • Work with program managers, product managers on feature prioritization.
  • Must work with all scrum masters resolving blockers, impediments.
  • Help team driving system demos.
  • Scaled agile RTE certified will be preferred.
  • Very good communication skills and presentation skills.
  • This is not a remote position. Can relocate to Dallas, TX or Hartford, CT or Downers grove, IL post COVID once offices open. 3-6 months time frame for relocation.

Regards
Alex Keylor
NAVTECH INC
1600 Golf Road. Suite 1200, Rolling Meadows, IL 60008
Ph: (224) 348-1340 || Email: alex@navtechusa.com || www.navtechusa.com
E-Verified Company
Navtech logo

About Navtech

Sourced by ZipRecruiter

Industry

Civil engineering construction

Company size

11 - 50 Employees

Headquarters location

New Bloomfield, PA, US

Year founded

1996

View All Navtech Jobs

Apply