ZipRecruiter

Log In

2

Remote Formal Verification Jobs in Venus, TX (NOW HIRING)

YO AI Labs

Accountant (CPA/CA) Remote

Dallas, TX · Remote

$20 - $30/hr

... formal interpretation accurately captures the legal requirements. This role requires strong ... Verify that AI outputs accurately capture conditions, thresholds, AND/OR logic, exceptions ...

Stryker

Salesforce Software Engineer (Remote)

Dallas, TX · On-site +1

$133K - $222K/yr

Coordinate QA and UAT testing activities to verify and validate new functionality before release ... a formal complaint or charge, (b) in furtherance of an investigation, proceeding, hearing, or ...

PNC Bank

Loan Support Analyst Sr (Commercial)

Dallas, TX · On-site +1

$41K - $82K/yr

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

All JobsFormal Verification JobsRemote Formal Verification JobsRemote Formal Verification Jobs in Venus, TX

Remote Formal Verification information

See Venus, TX salary details

$10

$18

$36

How much do remote formal verification jobs pay per hour?

As of Sep 2, 2026, the average hourly pay for remote formal verification in Venus, TX is $18.81, according to ZipRecruiter salary data. Most workers in this role earn between $13.99 and $19.86 per hour, depending on experience, location, and employer.

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 cities near Venus, TX are hiring for Remote Formal Verification jobs?

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

Remote Formal Verification jobs near you

Procurement & Pricing Manager

Innovatus Technology Consulting

Fort Worth, TX • On-site

Full-time

Posted 18 hours ago

Posted today

Job description

Procurement & Pricing Manager
Innovatus Technology Consulting
Remote — Dallas–Fort Worth area
About the role
The Procurement & Pricing Manager is Innovatus’ final commercial quality-control gate before a formal quote is submitted to a prime contractor, customer, contracting office, or contract vehicle.This role does not technically validate the solution. It ensures that commercial, supplier, pricing, compliance, and execution issues are fully addressed before Innovatus makes a formal offer.
Primary purpose
Receive completed opportunity packages, review the commercial and sourcing foundation of each deal, resolve gaps with the team, and submit only approved, complete quotes.
Key responsibilities
Opportunity intake and BOM review
  • Receive the developed opportunity package from the Inside Sales Representative (ISR) when a formal pricing action is required.
  • Review the proposed bill of materials for completeness, consistency, quantities, accessories, warranties, services, and apparent omissions.
  • Perform a commercial quality-control review of how products and services are kitted and priced.
  • Identify BOM inconsistencies or missing components and return technical questions to the ISR, Account Executive, OEM, or other technical resource.
Supplier quotes, authorizations, and deal protection
  • Confirm that appropriate OEM and distributor quotes have been obtained.
  • Verify that supplier quotes remain valid for the expected quote-submission and award timeline.
  • Identify expired, stale, incomplete, or commercially risky quotes and direct the ISR to obtain refreshed OEM or distributor pricing.
  • Verify applicable OEM authorizations, reseller status, letters of supply, certifications, and other supplier requirements.
  • Verify deal registrations, special pricing, channel protections, and associated expiration dates.
  • Confirm that registrations and authorizations are assigned to the correct Innovatus entity and opportunity.
Contract path and supply risk
  • Confirm that proposed products can be sold through the selected contract or acquisition path.
  • Work with the ISR and Account Executive to confirm the correct contractual customer or contract vehicle.
  • Review product availability, supplier inventory, lead times, lifecycle status, end-of-life risk, and anticipated pricing changes.
Pricing build-up, margin, and risk
  • Validate the commercial pricing build-up and ensure all applicable costs are included, such as:
    • Product cost
    • Freight and shipping
    • Financing and flooring costs
    • Credit or transaction fees
    • Contract-vehicle fees
    • Warehousing, asset tagging, configuration, kitting, and overpacking
    • Logistics and insurance
    • Other deal-specific costs
  • Ensure proposed margins meet Innovatus standards.
  • Obtain leadership approval for margin exceptions or strategic pricing.
  • Review pricing risk tied to supplier quote expiration, award timing, availability, and product lifecycle.
  • Confirm final customer-facing quote validity periods, assumptions, exclusions, delivery terms, and pricing caveats.
Quote release and handoff
  • Ensure the final quote includes required customer, contract, and supplier documentation.
  • Prepare and submit the approved quote to the customer, prime contractor, contracting office, or designated contract-vehicle portal.
  • Maintain the official final pricing and sourcing record.
  • Transition the awarded commercial package to Order Fulfillment.
Location
Remote, with the expectation that the person is based in the Dallas–Fort Worth area.

Powered by JazzHR

qQFSwdM2LH