ZipRecruiter

Log In

2

Remote Formal Verification Jobs in Alabama (NOW HIRING)

SAIC

Senior Electrical Engineer

Huntsville, AL · On-site +1

$105K - $137K/yr

Secret Potential for Remote Work: ORA_ON_SITE Description SAIC is seeking a Senior Electrical ... Conduct and participate in formal design reviews to verify compliance with specifications ...

All JobsFormal Verification JobsRemote Formal Verification JobsRemote Formal Verification Jobs in Alabama

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

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

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

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

What cities in Alabama are hiring for Remote Formal Verification jobs?

Cities in Alabama with the most Remote Formal Verification job openings:

Remote Formal Verification jobs near you
Infographic showing various Remote Formal Verification job openings in Alabama as of August 2026, with employment types broken down into 1% As Needed, 81% Full Time, 14% Part Time, and 4% Contract. Highlights an 91% Physical, 2% Hybrid, and 7% Remote job distribution.

Senior Electrical Engineer

Huntsville, AL • On-site, Remote

SAIC
IT Services • 10K+ employees
Learn more about SAICexternal

$105K - $137K/yr

Full-time

Posted 24 days ago

SAIC rating

7.7

Company rating: 7.7 out of 10

Based on 82 frontline employees who took The Breakroom Quiz

Job description

Job ID: 2615832

Location: Huntsville, AL, US

Date Posted: 2026-08-20

Category: Engineering and Sciences

Subcategory: Electrical Engr

Schedule: Full-Time

Shift: Day Job

Travel: Yes - 25% of the time

Minimum Clearance Required: Interim_Secret

Clearance Level Must Be Able to Obtain: Secret

Potential for Remote Work: ORA_ON_SITE


Description

SAIC is seeking a Senior Electrical Engineer to join our team of industry-leading innovators and technical experts. This role involves designing, analyzing, and managing complex electrical systems for a reconfigurable air defense project supporting defense, government, and commercial in Huntsville, AL.

Key Responsibilities

  • System Design and Implementation:
    • Proficiency in designing and developing electrical components and systems.
    • Experience in integrating software design with electrical components.
    • Proficiency with design software such as SolidWorks, Altium Designer, or similar tools.
    • Perform calculations, simulations, and analysis for circuit design, power distribution, grounding, and load flow.
  • Collaboration and Integration:
    • Collaborate with multidisciplinary engineering teams, program managers, and clients to develop integrated solutions that meet technical and programmatic requirements.
    • Coordinate with mechanical, software, and systems engineering teams to ensure seamless integration of electrical designs into broader system architectures.
    • Assist with managing engineering tasks across all phases of a project, from concept development and requirements definition to design, testing, and delivery.
  • Design Review and Compliance:
    • Conduct and participate in formal design reviews to verify compliance with specifications, regulations, and project objectives.
    • Ensure designs meet safety, performance, and regulatory standards, including NEC, IEEE, MIL-STD, and other relevant codes.
  • Troubleshooting and Testing:
    • Develop testing plans and validate the performance of electrical systems per design specifications.
    • Perform fault analysis and provide cost-effective solutions to technical challenges, ensuring minimal disruption to project timelines.
  • Documentation and Reporting:
    • Create detailed technical documentation, including drawings, schematics, test reports, and technical manuals.
    • Generate progress reports, risk assessments, and presentations to communicate status and results to internal and external stakeholders.
  • Technical Leadership:
    • Mentor and guide junior engineers, provide technical oversight, and foster professional growth.
    • Lead technical discussions with clients and stakeholders, offering guidance and recommendations.

Qualifications

Education Requirements:

  • Bachelors and nine (9) years or more experience in Electrical Engineering; Additional six (6) years’ experience can be considered in lieu of degree (per contract vehicle). 

Clearance Requirements:

  • Ability to obtain and maintain a Secret (active Secret preferred).

Required Qualifications:

  • 9+ years’ professional experience in electrical design, system integration, and testing, preferably in government, defense, or aerospace projects.
  • In-depth knowledge of electrical power systems, circuit design, and signal systems.
  • Familiarity with industry standards and codes, including NEC, NESC, IEEE, and MIL-STD.
  • Experience with system integrative challenges for deploying electrical systems in environments with stringent requirements.
  • Strong written and oral communication skills to collaborate with coworkers, stakeholders, and external customers effectively.

What SAIC employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

Apply