ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Tennessee

Transcard Payments LLC

Senior Software Engineer

Nashville, TN · Remote

$118K - $156K/yr

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

This is a REMOTE opportunity in the United States. Candidate must reside in the US and be work ... Preferred: Completion of SANS or other formal cybersecurity and secure software development ...

SNC-Lavalin

Intermediate I&C Engineer Energy - Remote

Oak Ridge, TN · On-site +1

$72K - $138K/yr

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

Overview We are seeking an Intermediate I&C Engineer Energy - Remote. This remote position is based ... Develops and executes maintenance, testing, and startup procedures; verify system readiness ...

Pae

Entry-Level Mechanical Engineer

Oak Ridge, TN · On-site +1

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

Experience working under a formal quality program (ISO 9001, NQA 1) * Strong leadership ... Amentum office location is preferred; hybrid or remote work may be available by prior agreement ...

New

Pae

Requirements Management and System Engineer

Oak Ridge, TN · On-site +1

$97K - $159K/yr

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

Demonstrate the achievement of verification in a data base tool and published reports. * Assist the ... remote" positions, salary to be offered is geographic dependent. Within the range, individual pay ...

EnableComp

Principal Engineer (REMOTE)

Franklin, TN · Remote

... verification). * Establish orchestration patterns for agent collaboration across different RCM ... Lead distributed engineering teams across onshore and offshore location. Requirements and ...

EnableComp

Principal Engineer (REMOTE)

Franklin, TN · On-site +1

... verification). * Establish orchestration patterns for agent collaboration across different RCM ... Lead distributed engineering teams across onshore and offshore location. Requirements and ...

previous pagenext page

Showing results 21-40

All JobsFormal Verification Engineer JobsRemote Formal Verification Engineer JobsRemote Formal Verification Engineer Jobs in Tennessee

Remote Formal Verification Engineer information

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 popular job titles related to Remote Formal Verification Engineer jobs in Tennessee?

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

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

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

What cities in Tennessee are hiring for Remote Formal Verification Engineer jobs?

Cities in Tennessee with the most Remote Formal Verification Engineer job openings:

Remote Formal Verification Engineer jobs near you
Infographic showing various Remote Formal Verification Engineer job openings in Tennessee as of August 2026, with employment types broken down into 80% Full Time, and 20% Contract. Highlights an 100% Remote job distribution.

Substation Physical Engineering Associate II - Remote/Hybrid Eligible (Southeast US)

Mesa Accosiates

Knoxville, TN • On-site, Remote

$87K - $111K/yr

Full-time

Re-posted 8 days ago

Job description

PDS - 3/ Power Delivery Substation
Substation Physical Engineering Associate II - Remote/Hybrid Eligible
This position is not eligible for recruiting or sourcing by outside parties.
Disclaimer: Be cautious and only respond to emails from our "mesainc.com" domain. We will never ask for sensitive information, such as bank account details, SSN, etc., via email. If you receive any communication asking for such information, it is not from Mesa. For any concerns, or to verify the authenticity of a message, please contact us through our official channels.
We've got the power to energize Your career and spark YOUR Work/Life Balance through professional development and exceptional benefits. Don't delay, plug in today for an inclusive meaningful career in power, distribution, transmission, engineering, design, technology, or innovation at Mesa Associates, Inc
Mesa seeks a Substation Physical Engineering Associate II with 2-4 years of design related experience.
Ideal candidate has 2-4 years of experience designing physical equipment/systems associated with high/medium/low voltage electrical substations. Candidates with related power or process plant physical design experience will also be considered for this position. Candidates must possess knowledge and skillsets associated with designing drawings that depict electrical switchgear, transformers, electrical bus work (rigid/flexible), conduit/raceway, grounding, lightning/static protection, etc. Candidates must be able to understand and generate physical design drawings such as One Lines, Electrical Arrangements, Conduit/Grounding layouts/detail, Equipment Plans/Elevations and Bills of Material using AutoCAD and/or Microstation design software packages. Ideal candidates will possess excellent communication skills, a learning mindset, be self-starters, and have an eye for detail. Depending on candidate qualifications, this position may be fully remote (in the Southeast US) or hybrid in our Knoxville, TN office.
Work will require occasional overnight trips to sites located in Arkansas, Southeast Texas, Louisiana and Mississippi.
Notice to External Search Firms: Mesa Associates, Inc. and its subsidiaries do not accept unsolicited resumes and will not be obligated to pay a placement fee for unsolicited resumes. Mesa Associates, Inc. Talent Acquisition engages with approved search firms directly for specific hiring needs.
Equal Opportunity Employer/Protected Veterans/Individuals with Disabilities
This employer is required to notify all applicants of their rights pursuant to federal employment laws.
For further information, please review the Know Your Rights notice from the Department of Labor.

Apply