2

Remote Formal Verification Jobs in Texas (NOW HIRING)

Senior Systems Engineer

Austin, TX · On-site +1

$103K - $141K/yr

This role directly supports certification and verification & validation planning, while following ... Support formal technical program gates, including SRR, PDR, CDR, TRR, and qualification reviews.

Senior Systems Engineer

Austin, TX · On-site +1

$103K - $141K/yr

This role directly supports certification and verification & validation planning, while following ... Support formal technical program gates, including SRR, PDR, CDR, TRR, and qualification reviews.

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 ... Verifies work processes to ensure completeness, accuracy, and conformance to credit approvals ...

This position may be eligible for remote work in select geographic locations, subject to approval ... Verifies work processes to ensure completeness, accuracy, and conformance to credit approvals ...

Showing results 21-40

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

Lead Vegetation Management Work Planner

Iapetus Holdings LLC

Longview, TX • Remote

Full-time

Re-posted 10 days ago


Job description

Vegetation Management Lead Work Planner

Who You Are:

You’re organized with skills in verbal and written communication, spreadsheets, and ability to navigate complex issues by implementing effective tactics in a professional and timely manner.

You’re energetic and enjoy working outdoors. You understand that this space can be demanding, and you are equipped with the skills necessary to get the job done.

Responsibilities:

  • Conduct detailed quality control assessments and audits of pre-inspection, tree-trimming, and vegetation management work performed by Work Planners to ensure compliance with client specifications, industry standards, safety regulations, and utility program requirements.
  • Perform comprehensive inspections of overhead power lines and rights-of-way to verify proper vegetation clearance, identify non-compliant conditions, and recommend proper mitigation or corrective actions.
  • Accurately identify and assess dead, dying, hazardous, or high-risk trees affected by drought, disease, structural defects, or other environmental factors, including formal tree risk evaluations where applicable.
  • Inspect and evaluate trees for hazard or danger potential using industry-recognized methods (e.g., TRAQ methodologies).
  • Document findings, compile detailed reports, and maintain accurate records for the client’s vegetation management program, including data entry into utility systems or databases.
  • Audit Work Planner performance for adherence to specifications, work quality, safety practices, and regulatory compliance; provide constructive feedback and escalate issues as needed.
  • Collaborate daily with clients, contractors, landowners, stakeholders, and the public to communicate assessment results, address concerns, resolve conflicts, and promote positive public relations.
  • Support emergency and storm response operations, including rapid assessments, hazard mitigation, and coordination in accordance with safety protocols, laws, and utility guidelines.
  • Assist in miscellaneous line clearance projects, program improvements, and quality assurance initiatives as assigned.
  • Promote and uphold a strong safety culture while working independently or in teams in challenging outdoor environments.

Qualifications:

  • Minimum 3 years of specialized professional experience in Quality Control/Quality Assurance, Utility Vegetation Management (UVM), forestry, utility arboriculture, electric utility vegetation projects, pre-inspections, tree risk assessment, or closely related fields; 3+ years of equivalent experience required in lieu of Associates degree.
  • Preferred Bachelor’s degree in Forestry, Arboriculture, Environmental Science, Biology, Natural Resources, or a closely related discipline (or equivalent demonstrated experience as noted above).
  • Active ISA Certified Arborist certification required.
  • Strongly preferred certifications/qualifications:
    • ISA Tree Risk Assessment Qualification (TRAQ)
    • ISA Utility Specialist certification
    • ISA Board Certified Master Arborist (BCMA) - priority consideration given to holders of this advanced credential.
  • Advanced knowledge of tree identification, arboricultural practices, utility vegetation management standards (e.g., ANSI A300, GO-95 compliance where applicable), hazard tree evaluation, and integrated vegetation management principles.
  • Exceptional written and verbal communication skills for technical reporting, stakeholder engagement, conflict resolution, and professional representation of the client.
  • Proven ability to multitask, solve complex problems independently, maintain meticulous attention to detail, and work productively in variable outdoor conditions (weather, terrain, remote/urban settings).
  • Proficiency with technology, including smartphones, tablets, GPS/navigation, mapping software, data collection apps, and basic computer systems for reporting and documentation.
  • Valid driver’s license with a clean driving record; capable of safely operating a 4x4 vehicle on rough, unpaved, or off-road terrain.
  • Ability to work alone or collaboratively outdoors for extended periods, including walking/hiking on uneven/sloped terrain and exposure to all weather conditions.

Physical Demands, Conditions, Work Environment

The physical demands, conditions, and work environment characteristics described here must be met by an employee to successfully perform the essential functions of this job. Reasonable accommodation may be made to enable individuals with disabilities to perform the essential functions.

  • Employees must be able to maintain attention and concentration for extended periods of time.
  • Work alone in an outdoor field environment; extensive vehicle operation and foot patrol of utility power lines; remote locations as well as urban, city environment; physical demands and travel from site to site, including walking/hiking on various surfaces including flat, dry, wet, slippery, uneven, rough, steep terrain, hills, and slopes; exposure to noise, dust, grease, and all types of weather and temperature conditions; exposure to hazardous traffic conditions.

Physical

Primary functions require sufficient physical ability and mobility to work in a field environment:

  • walk, stand, sit, and operate a motor vehicle for prolonged periods of time;
  • frequently stoop, bend, kneel, crouch, run, crawl, climb, reach, twist, grasp and make repetitive hand movements in the performance of daily duties;
  • carry, push and/or pull light to moderate amounts of weight (5 to 10 lbs.);
  • operate assigned equipment and vehicles;
  • verbally communicate to exchange information with public;
  • see and hear in normal range with or without correction;
  • operate assigned field equipment, including handheld computer, range finder, water backpack, shovel, and traffic cone.

Safety

Safety is a top priority at Atlas Field Service. Successful candidates will be committed to their personal safety and to the safety of others. This role will require a general understanding and the ability to identify safety hazards and report any unsafe working conditions. The position requires active participation in safety briefings and may deliver industry-specific safety messages to a broad audience when called upon.

Pre-Qualifications

  • Applicants must pass a pre-employment drug test.
  • All candidates must possess a valid driver's license and have a good driving record.

 

Job Type: Full Time

 

Work Schedules are dictated by client and may vary depending on project needs.  Generally, schedules are Monday- Thursday, and must be available Fridays, weekends and holidays as needed.  Schedules are subject to change.  Travel may be required.

 

AFS is an Equal Opportunity Employer