ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Houston, TX

RINA

Senior Structural Engineer

Houston, TX · On-site +1

$84K - $114K/yr

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

Remote options from other US locations may be considered. Mission The Senior Structural Engineer ... Support site inspections and construction-phase engineering services to verify implementation of ...

EBI Consulting

Project Engineer

Houston, TX · On-site +1

$70K - $95K/yr

Verify. Position Summary EBI Consulting is seeking a full-time Project Engineer to conduct due ... This position reports directly to the Associate Area Operations Manager and will be a fully remote ...

McKesson

AI Product Engineer

The Woodlands, TX · Remote

This position is remote and candidates must reside within commuting distance of either The ... Ability to influence stakeholders and drive alignment without formal authority. * Demonstrated ...

McKesson

AI Product Engineer

The Woodlands, TX · Remote

This position is remote and candidates must reside within commuting distance of either The ... Ability to influence stakeholders and drive alignment without formal authority. * Demonstrated ...

Arva Intelligence

AI Software Engineer

Houston, TX · Remote

$115K - $145K/yr

  • Medical

  • Retirement

  • PTO

Remote Level: 2-5 years of professional software development experience Base Salary Range: $115K ... Platform features include practice verification and registration, as well as the sale of ...

Arva Intelligence

AI Software Engineer

Houston, TX · Remote

$115K - $145K/yr

  • Medical

  • Retirement

  • PTO

Remote Level: 2-5 years of professional software development experience Base Salary Range: $115K ... Platform features include practice verification and registration, as well as the sale of ...

Qcells

Electrical Engineer - Level 4

Houston, TX · On-site +1

  • Medical

  • Dental

Remote SENIOR ELECTRICAL ENGINEER - LEVEL 4 Hanwha Qcells USA Corp (Qcells USA), headquartered in ... Oversee QA/QC verification for electrical designs, ensuring alignment with safety and performance ...

SupplyHouse

QA Engineer

Houston, TX · Remote

$18K - $23K/yr

  • Medical

  • Dental

  • Vision

  • Life

Develop, verify, and validate system test cases for web-based and mobile applications * Create and ... Look out for our 100% remote schedule and wellness initiatives! * We support growth - We strive to ...

ICF

Lead Energy Engineer

Houston, TX · On-site +1

$97K - $128K/yr

  • Retirement

This remote position is based in Houston, TX with regional and local travel as needed ICF is a ... savings verification. * Provide technical guidance to contractors and customers regarding ...

TERRACON

Senior Alternate Delivery Design Engineer

Houston, TX · On-site +1

$99K - $137K/yr

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

New Remote Position-Alternate Delivery Requisition Sr. Geotechnical Engineer - Bridge, Tunnel ... verify that it is safely completed on time and within scope and budget. Examples of the work ...

System One

DCN Structural Engineer

Houston, TX · Remote

$90K - $135K/yr

Hybrid - onsite and remote About the Company Our client is a global engineering and technology ... Review as-built drawings and verify calculations to ensure design conformity * Provide technical ...

System One

DCN Structural Engineer

Houston, TX · Remote

$90K - $135K/yr

Hybrid - onsite and remote About the Company Our client is a global engineering and technology ... Review as-built drawings and verify calculations to ensure design conformity * Provide technical ...

System One

DCN Structural Engineer

Houston, TX · Remote

$90K - $135K/yr

Hybrid - onsite and remote About the Company Our client is a global engineering and technology ... Review as-built drawings and verify calculations to ensure design conformity * Provide technical ...

System One

DCN Structural Engineer

Houston, TX · Remote

$90K - $135K/yr

Hybrid - onsite and remote About the Company Our client is a global engineering and technology ... Review as-built drawings and verify calculations to ensure design conformity * Provide technical ...

System One

DCN Structural Engineer

Houston, TX · Remote

$90K - $135K/yr

Hybrid - onsite and remote About the Company Our client is a global engineering and technology ... Review as-built drawings and verify calculations to ensure design conformity * Provide technical ...

previous pagenext page

Showing results 21-40

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

Remote Formal Verification Engineer information

See Houston, TX salary details

$76.4K

$136.2K

$194.3K

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

As of Aug 15, 2026, the average yearly pay for remote formal verification engineer in Houston, TX is $136,197.00, according to ZipRecruiter salary data. Most workers in this role earn between $129,900.00 and $129,900.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 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 are the most commonly searched types of Formal Verification Engineer jobs in Houston, TX?

The most popular types of Formal Verification Engineer jobs in Houston, TX are:

What are popular job titles related to Remote Formal Verification Engineer jobs in Houston, TX?

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

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

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

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

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

Remote Formal Verification Engineer jobs near you

Building Controls Application Engineer

Mantis Innovation

Houston, TX • Remote

$120K - $130K/yr

Full-time

Re-posted 21 days ago

Job description

Position: Controls Application Engineer 
Start Date: Immediate 
 
As a Controls Application Engineer, you will be responsible for developing BMS/SCADA applications at both a supervisory and controller level. You will help refine engineering standards and provide remote support to project and field teams. You will also be involved in providing support across multiple engineering functions within the Controls Engineering group. You should be familiar with both DDC and PLC programming, BACnet & Modbus integrations, and have experience with building graphical front-end client interfaces.
Controls Application Engineering
  • This position will report to the Controls Engineering Manager.
  • Develop BMS applications across multiple platforms: e.g., Niagara, Ignition, Wonderware, Distech, PLC's.
  • Support the development and enforcement of engineering standards for programming, graphics, alarming, tagging, history management, and database creation. 
  • Provide remote technical support to Project Managers and Field Engineers during project execution. 
Qualifications
  • 10+ years of experience in the engineering field, preferably in Building Automation or Controls Engineering. 
  • 5+ years of BMS application development experience, with mission critical experience preferred. 
  • Strong knowledge of DDC control theory & HVAC applications and the ability to apply these principles to real-world scenarios. 
  • Basic networking knowledge; addressing & subnetting, IP + serial device configurations.
  • Comfortable working with industry standard protocol integrations such as: BACnet, Modbus, Ethernet/IP, SNMP, MQTT.
  • Basic networking knowledge, including manipulating PC settings to set up and commission devices on a network. 
  • Experience with servers, network equipment, and IoT practices, specifically for BMS applications. 
  • 2+ years of experience with Niagara platform (Niagara N4 certification is preferred).
  • Familiarity with Distech field controllers and GFX programming, Ignition SCADA, Wonderware, and PLC systems.
  • Proficiency in Microsoft Office Suite.
Competencies
  • Must be able to work independently and in a team, handling multiple tasks across different projects. 
  • Strong troubleshooting skills, with the ability to identify problems and develop effective solutions. 
  • Knowledge of the construction contracting industry, especially in MEP fields, with experience in mission-critical environments a plus. 
  • Understanding of Mechanical and Electrical equipment in typical Mission Critical environments.
$120,000 - $130,000 a year
This role will provide the opportunity to work in a dynamic and fast-paced environment, where you will gain valuable experience with cutting-edge technologies and play a pivotal role in the successful completion of projects 
We may use artificial intelligence (AI) tools to support parts of the hiring process, such as reviewing applications, analyzing resumes, or assessing responses and identifying potential inconsistencies or verification signals in application materials based on available information. These tools assist our recruitment team but do not replace human judgment. Final hiring decisions are ultimately made by humans. If you would like more information about how your data is processed, please contact us.
apply for this job

Apply