2

Remote Formal Verification Engineer Jobs in Utah

None Potential for Remote Work: ORA_ON_SITE Description SAIC is seeking an exceptional Mechanical ... Experience with formal risk management processes from a technical perspective, including the ...

Verify utility performance of facilities and validate savings. * Review and analyze energy ... Remote Monitoring * Collect and evaluate energy, weather, and building automation data on some ...

Verify utility performance of facilities and validate savings. * Review and analyze energy ... Remote Monitoring * Collect and evaluate energy, weather, and building automation data on some ...

Verify utility performance of facilities and validate savings. * Review and analyze energy ... Remote Monitoring * Collect and evaluate energy, weather, and building automation data on some ...

AI Engineer

Salt Lake City, UT · On-site +1

$101K - $159K/yr

... verified automation solutions onto the Operations teams. Proactively identifies cross-training ... remote tools.. * Applicant should have experience in infrastructure disciplines of networking ...

Excellent communication skills, able to collaborate with remote teams, share ideas and present ... Additionally, Circle participates in the E-Verify Program in certain locations, as required by law.

Excellent communication skills, able to collaborate with remote teams, share ideas and present ... Additionally, Circle participates in the E-Verify Program in certain locations, as required by law.

Sr. Power Systems Engineer

Salt Lake City, UT · On-site +1

$101K - $138K/yr

Develop a formal EPC design-review protocol, including review of design change requests with cost ... Define communication protocols, data acquisition requirements, alarm management, and remote ...

This is a remote/hybrid project site position based in the Salt Lake City, UT area with travel ... and measurement and verification to ensure designs and project deliverables meet contract ...

Software Engineer - AI-Native Full Stack Bolo.ai Bay Area (Hybrid) | Salt Lake City Area (Remote ... They design validation systems where agents write the tests and humans verify that features ...

Quality Engineer II

Sandy, UT · On-site +1

$68K - $88K/yr

Supports component qualifications, design validation / verification and process validation * Leads ... Remote or field-based positions will have different workplace arrangements which will be indicated ...

You have experience managing remote teams * The ability to thrive on a fast pace environment with ... Additionally, Circle participates in the E-Verify Program in certain locations, as required by law.

Senior Software Developer

Salt Lake City, UT · On-site +1

$147K - $198K/yr

You will work closely with a fully remote team of designers, developers, and stakeholders to add ... You verify your work is correct as you're doing it Requirements * 7+ years designing, implementing ...

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 Utah? For Remote Formal Verification Engineer jobs in Utah, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification Engineer jobs in Utah look for? The top searched job categories for Remote Formal Verification Engineer jobs in Utah are:
What cities in Utah are hiring for Remote Formal Verification Engineer jobs? Cities in Utah with the most Remote Formal Verification Engineer job openings:
Mechanical Engineer

Mechanical Engineer

SAIC

Hill Air Force Base, UT • On-site, Remote

Full-time

Posted 24 days ago


SAIC rating

7.8

Company rating: 7.8 out of 10

Based on 78 frontline employees who took The Breakroom Quiz

70th of 204 rated it services


Job description

Job ID: 2610538

Location: Hill AFB, UT, US

Date Posted: 2026-03-24

Category: Engineering and Sciences

Subcategory: Mechanical Engr

Schedule: Full-Time

Shift: Day Job

Travel: Yes - 10% of the time

Minimum Clearance Required: Secret

Clearance Level Must Be Able to Obtain: None

Potential for Remote Work: ORA_ON_SITE


Description

SAIC is seeking an exceptional Mechanical Engineer to provide high-quality delivery of infrastructure projects to one of the Department of War’s most complex and vital acquisition efforts – the Sentinel Intercontinental Ballistic Missile (ICBM) Program. This position offers a unique opportunity to contribute to the modernization of the U.S. Air Force’s land-based strategic deterrent, ensuring its operational readiness and sustainability well into the 21st century.

The Sentinel ICBM Program is a massive, multi-faceted initiative to replace the aging LGM-30G Minuteman III weapon system. This career-defining program involves designing and integrating advanced ballistic missile systems, refurbishing or replacing key infrastructure, and fielding state-of-the-art command, control, and support systems. You will work both independently and collaboratively with multidisciplinary teams to achieve program objectives in a high-impact national security environment.

Your Role and Responsibilities

As a Mechanical Engineer, you will serve as a subject matter expert, conducting detailed technical reviews of engineering designs to ensure compliance with standards, engineering principles, and Sentinel-specific requirements. Your role will focus on providing deep technical analysis and oversight throughout the engineering lifecycle of Sentinel infrastructure projects.

  • Provide Technical Oversight: Serve as a key technical authority during all phases of Sentinel infrastructure projects, from design and review through to construction and implementation.
  • Conduct Technical Reviews: Perform rigorous assessments of designs prepared by Architect-Engineer (A/E) firms against engineering principles, industry codes, and Sentinel-specific guidelines.
  • Ensure Design Compliance: Validate that designs and deliverables adhere to all applicable engineering principles, commercial/military standards, and mission requirements for technically complex projects.
  • Analyze and Mitigate Technical Risks: Identify potential engineering risks during the design and implementation process and recommend specific technical mitigation strategies.
  • Collaborate on Technical Solutions: Work within a multidisciplinary team to deliver engineering solutions, presenting complex technical information to diverse stakeholders.

Qualifications

  • Bachelor’s degree in mechanical engineering, Systems Engineering, Physics, or Mathematics with 5+ years (with BS) or 3+ years (with MS) of directly related experience in systems engineering or complex product development.
  • Active U.S. Government Secret Clearance with a background investigation completed within the past six years. Must be eligible for Special Access Program (SAP) clearance.
  • Demonstrated experience applying military and industry standards, such as MIL-STD-810, MIL-STD-882, and Unified Facilities Criteria (UFC), to complex engineering projects.
  • Proven ability to lead technical design reviews and provide critical feedback on engineering deliverables from internal teams and external A/E firms.
  • Experience with formal risk management processes from a technical perspective, including the identification and mitigation of engineering risks.
  • Demonstrated proficiency in developing or utilizing Model-Based Systems Engineering (MBSE) artifacts (e.g., SysML diagrams, behavioral models) to support system analysis, requirements verification, and design trade studies, using tools such as Cameo,
  • MATLAB, or equivalent.

Preferred Education, Experience, & Skills:

  • Hands-on experience as an engineer working on missile systems or complex weapon systems (such as ACAT I programs or ICBM-related initiatives).
  • Professional Licenses and Certifications, such as a Professional Engineer (PE) License or Certified Systems Engineering Professional (CSEP).
  • Experience with requirements management and traceability using tools like DOORS.


What SAIC employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom