2

Remote Formal Verification Engineer Jobs in Tennessee

Senior Software Engineer

Nashville, TN · Remote

$118K - $156K/yr

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

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

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

next page

Showing results 1-20

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 are Remote Formal Verification Engineers?

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, and why are they important?

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:
Infographic showing various Remote Formal Verification Engineer job openings in Tennessee as of July 2026, with employment types broken down into 93% Full Time, 2% Part Time, 1% Temporary, and 4% Contract. Highlights an 87% Physical, 4% Hybrid, and 9% Remote job distribution.

Intermediate I&C Engineer Energy - Remote

SNC-Lavalin

Oak Ridge, TN • On-site, Remote

$72K - $120K/yr

Full-time

Medical, Dental, Vision, Life, Retirement, PTO

Posted 20 days ago


Job description

Job DescriptionOverview

We are seeking an Intermediate I&C Engineer Energy - Remote. This remote position is based out of our Oak Ridge, TN office.

Your role
  • Responsible for designs, tests, installs, and maintenance of systems or equipment that monitor, control, and automate industrial processes or machinery.

  • Responsible for the design and analysis of safety and non-safety related I&C systems for nuclear and commercial projects.

  • Regularly interfaces with the other technical disciplines (mechanical, nuclear, operations and electrical engineering teams) for I&C design and consultation.

  • Applies knowledge and experience, industry best practices, regulatory guidance, codes and standards, and good engineering judgment to ensure the design is compliant with International regulatory criteria and industry best practices.

  • Creates control system designs, including PLC (Programmable Logic Controller) and SCADA (Supervisory Control and Data Acquisition) systems, for nuclear facilities.

  • Performance analysis, identify faults, and resolve issues to ensure optimal plant operation.

  • Ensures all systems meet nuclear safety regulations, industry standards, and quality assurance requirements.

  • Develops and executes maintenance, testing, and startup procedures; verify system readiness throughout equipment life.

  • Prepares and maintains technical documentation such as P&IDs, loop diagrams, and qualification test plans.

  • Works in multi-discipline teams on project-based work and ensures integration of design across multiple disciplines. Will conduct mentoring and quality reviews of the work of junior colleagues when needed.

  • Works to assigned schedules ensuring the accuracy, completeness and timeliness of work and initiates corrective measures to overcome delays.

  • Receives instruction, guidance and direction from more senior engineers and completes duties as assigned.

  • Performs other duties as assigned.

About you
  • Bachelor's Degree required in Electrical or Mechanical Engineering or related technical or engineering field.

  • Minimum of 3 years relevant experience.

  • Experience in nuclear industry preferred.

  • Effective written and verbal communication skills.

  • Able to complete complex technical work with limited supervision.

  • Higher-level knowledge and application of skills of fundamental principles and concepts related to instrumentation and control and electrical design.

  • Experience supporting Human Factors analysis of plant systems.

  • Familiarity with Cyber Security requirements for nuclear facilities.

  • Familiarity with the commissioning or tuning integrated plant control systems.

  • Practical application of licensing standards and regulatory processes.

  • Knowledge and proficiency in applying industry codes and standards (IEEE, IEC, EPRI, ANSI, ISA, IAEA).

  • Must be a U.S. citizen in order to be considered.

Rewards & benefits

At AtkinsRealis, our values-Safety, Integrity, Collaboration, Innovation, and Excellence-are more than just words. They are the foundation of who we are and how we work. These principles shape our culture, guide our decisions, and inspire us to create an environment where every team member feels empowered to grow, succeed, and make a meaningful impact.

Depending on your employment status, AtkinsRealis benefits may include medical, dental, vision, company-paid life and short- and long-term disability benefits, employer-matched 401(k) with 100% vesting, employee stock purchase plan, Paid Time Off, leaves of absences options, flexible work options, recognition and employee satisfaction programs, employee assistance program, and voluntary benefits. You can review our comprehensive benefits page here.

About AtkinsRealis

We're AtkinsRealis, a world-class engineering services and nuclear organization. We connect people, data and technology to transform the world's infrastructure and energy systems. Together, with our industry partners and clients, and our global team of consultants, designers, engineers and project managers, we can change the world. We're committed to leading our clients across our various end markets to engineer a better future for our planet and its people.

Find out more.

Additional information

Expected compensation range is between $72,000 - $120,000 annually depending on skills, experience, and geographical location.

Are you ready to expand your career with us? Apply today and help us shape something extraordinary.

AtkinsRealis is an equal opportunity, Drug-Free employer EOE/Veteran/Disability

Please review AtkinsRealis' Equal Opportunity Statement here.

AtkinsRealis cares about your privacy and is committed to protecting your privacy. Please consult our Privacy Notice our Careers site to know more about how we collect, use and transfer your Personal Data. By submitting your personal information to AtkinsRealis, you confirm that you have read and accept our Privacy Notice.

Note to staffing and direct hire agencies:

In the event a recruiter or agency who is not on our preferred supplier list submits a resume/candidate to anyone in the company, AtkinsRealis family of companies, we explicitly reserve the right to recruit and hire the candidate(s) at our discretion and without any financial obligation to the recruiter or agency. https://careers.atkinsrealis.com/recruitment-agencies

#LI-Remote

Worker TypeEmployeeJob TypeRegular

At AtkinsRealis, we seek to hire individuals with diverse characteristics, backgrounds and perspectives. We strongly believe that world-class talent makes no distinctions based on gender, ethnic or national origin, sexual identity and orientation, age, religion or disability, but enriches itself through these differences.