2

Remote Formal Verification Jobs in Utah (NOW HIRING)

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

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

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

Mechanical Engineer

SAIC

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

Full-time

Re-posted 23 days ago


SAIC rating

7.9

Company rating: 7.9 out of 10

Based on 79 frontline employees who took The Breakroom Quiz

69th of 210 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