ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Houston, TX

YO AI Labs

Design Expert - Remote

Houston, TX · On-site +1

$30 - $70/hr

No formal credential is required; demonstrated expertise and shipped work are highly valued. Key ... engineering collaboration . * Develop tasks involving AI coding tools such as Cursor, Claude Code ...

YO AI Labs

Hardware Expert - Remote

Houston, TX · Remote

$50 - $100/hr

Interpret engineering drawings and create accurate 3D CAD models. * Develop complex mechanical ... Verify dimensions, geometry, topology, and physical properties. * Troubleshoot and refine CAD ...

System One

Substation Design Engineer

Houston, TX · Remote

$100K - $128K/yr

Hybrid/Remote Substation Electrical Engineer - Grid Mid to Senior Level | Electrical Power ... Support field verification, construction coordination, and site walkdowns as required * Apply ...

System One

Substation Design Engineer

Houston, TX · Remote

$100K - $128K/yr

Hybrid/Remote Substation Electrical Engineer - Grid Mid to Senior Level | Electrical Power ... Support field verification, construction coordination, and site walkdowns as required * Apply ...

RINA

Senior Structural Engineer

Houston, TX · On-site +1

$150K - $200K/yr

Remote options from other US locations may be considered. Compensation Data $150,000-$200,000 ... Support site inspections and construction-phase engineering services to verify implementation of ...

EAE USA Inc

Senior Project Engineer

Houston, TX · Remote

$101K - $132K/yr

Conduct formal design reviews prior to release for manufacturing. * Approve project-level ... Verify that technical requirements, interfaces, customer comments, and engineering changes are ...

EAE USA Inc

Senior Project Engineer

Houston, TX · Remote

$101K - $132K/yr

Conduct formal design reviews prior to release for manufacturing. * Approve project-level ... Verify that technical requirements, interfaces, customer comments, and engineering changes are ...

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

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 Sep 5, 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 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 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

Copy of CFD & Aerodynamic Engineer (AI Training & Evaluation)

Lifted, an Upwork Company™

Houston, TX • Remote

$80 - $110/hr

Contractor

Re-posted 8 days ago

Job description

Company Description

An enterprise client is seeking CFD & Aerodynamic Engineers to help train and evaluate next-generation AI systems by contributing real-world engineering expertise.

This opportunity is offered by a leading AI data platform that enables organizations to build intelligent applications powered by high-quality human expertise.

    Job Description

    This opportunity is ideal for experienced CFD and Aerodynamics Engineers who enjoy solving complex engineering problems and want to contribute their expertise to the development of advanced AI systems.

    What You'll Do:

    • Design compact, self-contained CFD and aerodynamics tasks that evaluate AI models' engineering reasoning.
    • Create clear and technically accurate problem statements covering topics such as boundary conditions, mesh quality, flow regimes, and simulation setup.
    • Develop deterministic scoring checkers that objectively evaluate AI-generated responses.
    • Produce verified reference solutions to ensure each task is technically accurate and fully solvable.
    • Review and refine engineering tasks to improve clarity, physical accuracy, and appropriate difficulty.
    • Apply real-world experience with OpenFOAM to develop practical and realistic engineering scenarios.
    • Work independently in a fully remote, asynchronous environment with complete scheduling flexibility.
    Qualifications

    Requirements:

    • Bachelor's degree (or higher) in Aerospace Engineering, Mechanical Engineering, or a closely related discipline.
    • Hands-on experience using OpenFOAM for computational fluid dynamics simulations.
    • Strong foundation in fluid mechanics, aerodynamics, and heat transfer principles.
    • Experience with:
      • Mesh generation
      • Turbulence modeling
      • Boundary condition specification
      • Post-processing and simulation analysis
    • Ability to write clear, precise, and objectively verifiable engineering problems.
    • Excellent written English communication skills with the ability to explain complex technical concepts clearly.
    • Self-motivated, detail-oriented, and able to work independently with minimal supervision.

    Nice to Haves:

    • Experience working on aerospace, automotive, motorsports, renewable energy, or industrial CFD applications.
    • Familiarity with advanced CFD validation and verification techniques.
    • Experience reviewing technical documentation or engineering research.
    • Previous experience contributing to AI, simulation, or data annotation projects.
    Additional Information
    • Fully remote, independent contractor opportunity.
    • Flexible schedule with an expected workload of 10-39 hours per week, depending on project demand.
    • Compensation ranges from $80-$110 USD per hour, based on qualifications and experience.
    • Payments are issued weekly for completed work from the previous week.
    • If selected, you will receive an Upwork contract offer along with onboarding instructions for the client's task platform.
    • To be considered, candidates must:
      • Submit an Upwork proposal.
      • Complete the required Google Form.
      • Accept the Upwork contract to receive onboarding instructions, assessment access, and project payments.
    • Due to the high volume of applicants, only shortlisted candidates will be contacted.

    Apply