ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Dallas, TX

IC Enable

RTL Design/AMS Verification Engineer

Richardson, TX · On-site +1

$122K - $149K/yr

Remote considered based on experience and qualifications We are seeking an experienced RTL Design Engineer with a strong background in RTL design, design verification, synthesis, and physical ...

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.

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

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

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 Aug 2, 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 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 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

ASIC Verification Engineer (Remote - USA)

Encore Semi, Inc.

Dallas, TX • On-site, Remote

$120K - $135K/yr

Full-time

Medical, Dental, Vision, Life, Retirement, PTO

Posted 9 days ago

Job description

ASIC Verification Engineer (Remote - USA)
Full-time: Salary + Benefits + Bonuses | Contractor Opportunities Available
Work Status: US Citizen or Lawful Permanent Resident
Location: Remote - Anywhere in the USA
Build the Future of High-Performance SoCs
We are looking for talented ASIC Verification Engineers to join our growing team and help deliver next-generation networking, AI accelerator, and high-performance compute SoCs.
This is an opportunity to work on complex silicon designs where verification quality directly impacts first-pass silicon success. You'll own critical verification challenges, build scalable environments, debug sophisticated RTL issues, and collaborate with experienced engineers across design, software, emulation, and post-silicon teams.
If you enjoy solving hard verification problems, building robust methodologies, and pushing the limits of SoC performance and reliability, we'd like to hear from you.
What You'll Do
  • Own end-to-end ASIC/SoC verification activities from test planning through coverage closure and signoff.
  • Develop and enhance SystemVerilog/UVM-based verification environments at block, subsystem, and full-chip levels.
  • Create verification plans, write comprehensive test scenarios, run regressions, and drive debugging to closure.
  • Partner closely with RTL designers, architects, firmware teams, emulation, and post-silicon validation engineers.
  • Analyze failures, identify root causes, and help deliver high-quality silicon on aggressive schedules.
  • Improve verification productivity by adopting automation, advanced methodologies, and AI-assisted tools.
  • Contribute to verification best practices and mentor team members as the organization grows.
What You'll Bring
  • 4+ years of hands-on ASIC/SoC verification experience.
  • Strong expertise in SystemVerilog, UVM, VCS, Verdi, and industry-standard verification flows.
  • Experience building verification environments from the ground up.
  • Solid understanding of complex SoC designs including multi-clock, CDC, and reset-domain architectures.
  • Proficiency with scripting and automation using Python, Tcl, Perl, or Shell.
  • Experience with source control tools such as Git or SVN.
  • Background verifying high-speed networking and communication technologies.
  • Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or related field (Master's preferred).
Why Join Us?
You'll work with a highly skilled engineering team tackling some of the toughest challenges in high-speed networking, AI acceleration, and advanced semiconductor design. We value engineers who are hands-on, curious, and passionate about building silicon that makes a real impact.
The anticipated annual base salary for this position is between $120,000 to $135,000, which also includes a comprehensive benefits package.
Full-Time Benefits:
•15 days of PTO per calendar year
•10 paid Holidays per calendar year
•Comprehensive Medical Benefits: Company covers 80% of premiums for Employee and Dependents
•Dental & Vision: Company covers 50% of premiums for Employee and Dependents
•Voluntary Benefits: Life Insurance, FSA (Health and Dependent, Limited Purpose), HAS, and Gap Insurance
•Employee Assistant Program (EAP)
•401k - Traditional & Roth
•Life/AD&D and Long-Term Disability
•Tuition reimbursement
Equal Opportunity Policy Statement
Encore Semi, Inc. is an Equal Opportunity Employer that does not discriminate on the basis of actual or perceived race, religion, creed, color, age, sex, sexual orientation, gender, gender identity or expression, national origin, genetics, ancestry, marital status, civil union status, medical condition, disability (mental and physical), military and veteran status, pregnancy, childbirth and related medical conditions, or any other characteristic protected by applicable federal, state, or local laws and ordinances.
Encore Semi is also committed to compliance with all fair employment practices regarding citizenship and immigration status.
Follow on LinkedIn :: https://www.linkedin.com/in/rtl2gds/

Apply