2

Remote Formal Verification Jobs in Texas (NOW HIRING)

Provide both remote and on-site troubleshooting and problem-resolution support * Oversee the ... Information provided may be subject to verification. About Jeppesen ForeFlight: Jeppesen ForeFlight ...

This role is available as Hybrid (based in our newly opened Austin office) or fully remote (US). As ... This may include verification of employment history, education, and, where legally permitted ...

This role is available as Hybrid (based in our newly opened Austin office) or fully remote (US). As ... This may include verification of employment history, education, and, where legally permitted ...

This position may be eligible for remote work in select geographic locations, subject to approval ... Reviews transactions and related documents and verifies work processes to ensure completeness ...

This position may be eligible for remote work in select geographic locations, subject to approval ... Reviews transactions and related documents to verify completeness, accuracy, conformance to ...

This position may be eligible for remote work in select geographic locations, subject to approval ... Reviews transactions and related documents and verifies work processes to ensure completeness ...

This position may be eligible for remote work in select geographic locations, subject to approval ... Reviews transactions and related documents and verifies work processes to ensure completeness ...

Showing results 41-54

Remote Formal Verification information

What is remote formal verification?

Remote formal verification refers to the process of using mathematical techniques and specialized software tools to rigorously prove the correctness of hardware or software systems, typically while working from a remote location. Unlike traditional testing, formal verification provides guarantees about system behavior by checking against formal specifications. Professionals in this field often collaborate with teams online, review code or hardware designs, and use tools such as model checkers or theorem provers to identify and eliminate potential errors before deployment.

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 expertise in digital design, formal methods, and verification methodologies, usually supported by a degree in electrical engineering, computer engineering, or computer science. Familiarity with formal verification tools like JasperGold, Questa Formal, or OneSpin, and proficiency in hardware description languages (HDLs) such as Verilog or VHDL are critical. Strong analytical thinking, attention to detail, and clear communication are standout soft skills, especially when collaborating remotely with global teams. These skills and qualifications are essential to ensure that complex hardware designs are reliable, bug-free, and meet stringent industry standards.

What are some common challenges faced by remote formal verification engineers, and how can they be addressed?

Remote formal verification engineers often face challenges related to effective collaboration and communication, as formal verification requires close coordination with design and verification teams. Working across time zones and relying on digital tools can make it harder to quickly resolve ambiguities in specifications or debug issues. To address these challenges, it’s essential to establish clear documentation practices, schedule regular video meetings, and actively participate in code reviews and knowledge-sharing sessions. Leveraging collaborative platforms and maintaining open communication channels can help mitigate the impact of physical distance and ensure project goals are met efficiently.

What is the difference between Remote Formal Verification vs Remote Hardware Verification?

AspectRemote Formal VerificationRemote Hardware Verification
CredentialsTypically requires degrees in Computer Science or Electrical Engineering, plus certifications in formal methodsRequires degrees in Electrical Engineering, Computer Engineering, or related fields; certifications may include FPGA or ASIC design
Work EnvironmentPrimarily focused on software tools, modeling, and mathematical proofs, often in a remote settingInvolves testing and validation of hardware prototypes or designs, often in labs or remotely via simulation tools
Industry UsageUsed in semiconductor, aerospace, and safety-critical software industriesCommon in semiconductor, electronics manufacturing, and embedded systems industries

Remote Formal Verification focuses on mathematically proving the correctness of hardware or software designs using formal methods, often in a software-centric environment. Remote Hardware Verification involves testing physical hardware or simulations to ensure hardware functions correctly. Both roles require technical expertise but differ in their focus on software proofs versus hardware testing.

What are popular job titles related to Remote Formal Verification jobs in Texas?

For Remote Formal Verification jobs in Texas, the most frequently searched job titles are:

What job categories do people searching Remote Formal Verification jobs in Texas look for?

The top searched job categories for Remote Formal Verification jobs in Texas are:

What cities in Texas are hiring for Remote Formal Verification jobs?

Cities in Texas with the most Remote Formal Verification job openings:

Infographic showing various Remote Formal Verification job openings in Texas as of August 2026, with employment types broken down into 100% Full Time. Highlights an 100% Remote job distribution.

Senior Enablon Environmental/AQS and Metrics Implementation Consultant

WSP

Houston, TX • On-site, Remote

Full-time

Medical, Dental, Vision, Life, Retirement

This job post has expired today. Applications are no longer accepted.


WSP rating

8.6

Company rating: 8.6 out of 10

Based on 69 frontline employees who took The Breakroom Quiz

18th of 72 rated business consultants


Job description

This Opportunity

WSP is currently initiating a search for aSenior Enablon Environmental / AQS and Metrics Implementation Consultantto support our global Digital Solutions Team in Houston, TX. Other WSP locations across the U.S. will be considered for the right candidate.  Be involved in projects with our Earth & Environment Group and be a part of a growing organization that meets our client's objectives and solves their challenges. 

Working with a wide range of internal and external clients across various industries, you will solve complex requirements, lead technical project teams, and develop designs for Environmental, Health, and Safety (EHS) and Environmental, Social, and Governance (ESG) software solutions. You will identify new opportunities, develop proposals, implement software solutions, and represent WSP at external events, among other activities, to ensure that we provide quality solutions that meet our clients' needs.

Your Impact

  • Interact with customers using a variety of means to obtain technical details required for configuration
  • Interpret customer compliance requirements and business processes in sufficient detail to develop technical specifications for configuration
  • Interact with subcontractors, clients, and other stakeholders in a confident and professional manner.
  • Configure software per design specifications
  • Verify configurations through thorough end-to-end system testing, providing resolutions and feedback.
  • Develop detailed documentation for quantitative testing, such as calculation verification of asset- and facility-level results.
  • Extract, transform, and load (ETL) data from one system to another.
  • Demonstrate software configuration and base functionality to customers in informal and formal settings
  • Develop and deliver training, technical documentation, and training materials for customer and project team use.
  • Develop test scripts and support customers through user acceptance testing (UAT).
  • Analyze and interpret large, complex data sets
  • Troubleshoot configuration issues during deployment and rollout activities
  • Drive tasks in support of project timelines, deliverables, and internal and external communications.
  • Successfully manage and oversee internal and external relationships to ensure client delivery and company growth.
  • Exercise responsible and ethical decision-making regarding company funds, resources and conduct, and adhere to WSP's Code of Conduct and related policies and procedures.
  • Perform additional responsibilities as required by business needs.

Who You Are

Required Qualifications

  • Bachelor's degree or equivalent combination of education, training, and experience.
  • Expert-level experience with Enablon AQS and Metrics applications.
  • 5+ years of experience as a project lead on multiple Enablon Environmental/AQS and Metrics implementations.
  • Acceptance of allowing a full criminal background check to be conducted, to allow working on government projects.
  • Past experience directing and supporting remote and global teams, including mentoring and training staff.
  • Well-developed analytical mindset with the ability to exercise sound judgment in evaluating situations, applying logic, making decisions, and providing objective recommendations.
  • Highly effective interpersonal and communication skills, with the ability to articulate complex data in a simple, actionable manner.
  • Well-developed critical thinking and problem-solving skills, with the ability to apply technical knowledge, interpret testing results, collate data, perform load calculations and statistical analyses, and arrive at effective, economical, and logical solutions.
  • Highly effective self-leadership with attention to detail, accuracy, results orientation, and managing multiple priorities in a dynamic work environment.
  • Highly effective at working independently and providing guidance and leadership to junior team or project members, with strict adherence to QA/QC standards.
  • Experience working with large data sets and spreadsheets. 
  • Proven track record of upholding workplace safety and ability to abide by WSP's health, safety and drug/alcohol and harassment policies.
  • Ability to work schedules conducive to project-specific requirements that may extend beyond the typical workweek.
  • Occasional travel may be required depending on project-specific requirements.

#LI-MC2

About WSP

WSP USA is the U.S. operating company of WSP, one of the world's leading engineering and professional services firms. Dedicated to serving local communities, we are engineers, planners, technical experts, strategic advisors and construction management professionals. WSP USA designs lasting solutions in the buildings, transportation, energy, water and environment markets. With more than 15,000 employees in over 300 offices across the U.S., we partner with our clients to help communities prosper.

www.wsp.com

WSP provides a flexible and agile workplace model while meeting client needs. Employees are also afforded a comprehensive suite of benefits including medical, dental, vision, disability, life, and retirement savings focused on providing health and financial stability throughout the employee's career.

At WSP, we want to give our employees the challenges they seek to grow their careers and knowledge base. Your daily contributions to your team will be essential in meeting client objectives, goals and challenges. Are you ready to get started?

WSP USA (and all of its U.S. companies) is an Equal Opportunity Employer Race/Age/Color/Religion/Sex/Sexual Orientation/Gender Identity/National Origin/Disability or Protected Veteran Status.

The selected candidate must be authorized to work in the United States.

NOTICE TO THIRD PARTY AGENCIES:

WSP does not accept unsolicited resumes from recruiters, employment agencies, or other staffing services. Unsolicited resumes include any resume or hiring document sent to WSP in the absence of a signed Service Agreement where WSP has expressly requested recruitment/staffing services specific to the position at hand.  Any unsolicited resumes, including those submitted to hiring managers or other business leaders, will become the property of WSP and WSP will have the right to hire that candidate without reservation - no fee or other compensation will be owed or paid to the recruiter, employment agency, or other staffing service. 


What WSP employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom