ZipRecruiter

Log In

1

Formal Verification Jobs in Virginia (NOW HIRING)

SwiftCruit

Linux Systems Administrator

Chantilly, VA · On-site

$90.30 - $189.60/hr

Ensures products and systems comply with requirements and government information assurance and cyber security standards and practices through formal verification methods. * Assess performance using ...

New

iDirect GOVERNMENT

Senior FPGA Engineer

Herndon, VA · On-site +1

$91K - $159K/yr

FPGA design experience with physical synthesis, static timing analysis, formal verification, power analysis, and other DRC centric tools * Experience with ModelSim/QuestaSim simulation tools

Fractile

Lead Physical Design Engineer

Bristol, VA · On-site

$120 - $180/hr

Expertise in timing closure, signal integrity, IR drop analysis, and formal verification. * Proficiency in scripting languages like TCL, Perl, or Python for automation. * Proven ability to take ...

TekSynap

Junior Systems Engineer, Labs

Reston, VA

Ensures requirements comply with client requirements and government standards through formal verification methods. * Translates high-level product development strategies into system requirement ...

Arcfield

Senior Systems Engineer

Chantilly, VA · On-site

$108K - $147K/yr

Ensures requirements comply with client requirements and government standards through formal verification methods. Translates high level product development strategies into system requirement ...

TekSynap

Junior Systems Engineer, Labs

Reston, VA · On-site

Ensures requirements comply with client requirements and government standards through formal verification methods. * Translates high-level product development strategies into system requirement ...

Blue Origin

AI Engineer III - Blue Ring

Reston, VA · On-site

... formal verification, safety-critical systems, or graduated autonomy frameworks • Experience building observability and audit systems for AI decision pipelines in regulated or mission-critical ...

Axon

Electrical Engineer I

Sterling, VA · On-site

Execute test plans and formal verification/validation procedures (EMC, environmental, MIL-STD, etc.), accurately recording data and clearly documenting results and anomalies - and grow into writing ...

New

Axon

Electrical Engineer I

Sterling, VA · On-site

Execute test plans and formal verification/validation procedures (EMC, environmental, MIL-STD, etc.), accurately recording data and clearly documenting results and anomalies - and grow into writing ...

New

Huntington Ingalls Industries

Firmware Engineer

Roanoke, VA · On-site

$120 - $185/hr

... formal verification tools, and more. The ideal candidate will have experience with object‑oriented design and an understanding of basic logic gates. We are particularly looking for candidates that ...

previous page

Showing results 41-60

All JobsFormal Verification JobsFormal Verification Jobs in Virginia

Formal Verification information

See Virginia salary details

$11

$20

$39

How much do formal verification jobs pay per hour?

As of Aug 21, 2026, the average hourly pay for formal verification in Virginia is $20.52, according to ZipRecruiter salary data. Most workers in this role earn between $15.24 and $21.68 per hour, depending on experience, location, and employer.

What is a formal verification?

A Formal Verification job involves using mathematical techniques to prove the correctness of hardware or software designs. Engineers in this role apply formal methods, such as model checking and theorem proving, to ensure that a system behaves as intended without relying solely on traditional testing. This process helps detect critical design flaws early, improving reliability and reducing costly errors. Formal verification is widely used in safety-critical industries like aerospace, automotive, and semiconductor design.

What does a formal verification engineer do?

A Formal Verification engineer's daily responsibilities usually include developing and applying formal models to hardware or software designs, writing assertions, and using verification tools to prove or disprove correctness properties. Collaboration with design, simulation, and verification teams is common to clarify specifications and address any verification gaps. Engineers frequently analyze failures or counterexamples, document findings, and suggest design improvements. This role often involves balancing multiple projects, staying aligned with tight development schedules, and ensuring the highest possible design quality before production.

What skills and qualifications are needed for formal verification?

To thrive in Formal Verification, you need a strong background in computer science, mathematics, and logical reasoning, often supported by a relevant degree in engineering or computer science. Familiarity with formal verification tools such as ModelSim, JasperGold, SystemVerilog Assertions, and proficiency in hardware description languages like Verilog or VHDL are important, and industry certifications can be a plus. Excellent analytical thinking, attention to detail, and strong communication skills help in interpreting specifications and collaborating with cross-functional teams. These skills are crucial to rigorously ensuring hardware or software designs function correctly and meet industry safety and correctness standards.

What are the most commonly searched types of Formal Verification jobs in Virginia?

The most popular types of Formal Verification jobs in Virginia are:

What are popular job titles related to Formal Verification jobs in Virginia?

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

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

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

What cities in Virginia are hiring for Formal Verification jobs?

Cities in Virginia with the most Formal Verification job openings:

Formal Verification jobs near you
Infographic showing various Formal Verification job openings in Virginia as of August 2026, with employment types broken down into 1% As Needed, 75% Full Time, 21% Part Time, 2% Contract, and 1% Nights. Highlights an 89% Physical, 3% Hybrid, and 8% Remote job distribution, with an average salary of $42,681 per year, or $20.5 per hour.

Linux Systems Administrator

SwiftCruit

Chantilly, VA • On-site

$90.30 - $189.60/hr

Other

Medical, Retirement, PTO

Posted 3 days ago

New

Job description

Job Title: Linux Systems AdministratorJob Category: Information TechnologyTime Type: Full timeMinimum Clearance Required to Start: TS/SCI with PolygraphEmployee Type: RegularPercentage of Travel Required: NoneType of Travel: None* * *

The Opportunity:

CACI is seeking a Linux Systems Administrator to support a long term, multi-year, high performing program. A qualified candidate will assist in the installation, configuration and deployment of a new PeopleSoft implementation.

Responsibilities:
  • Linux Systems Engineering / Administration (SA) working with virtual servers and associated technologies.
  • Install and administer PeopleSoft applications and updates.
  • Identify and implement application and server-level patches.
  • Analyze, troubleshoot, and optimize system performance.
  • Design, document, and implement system configurations.
  • Work collaboratively with cloud engineers, application developers, and security analysts in a fast-paced, agile environment.
  • Support new design/architecture tasking as part of system development efforts as requested.
  • Administer and service accounts.
  • Ensures products and systems comply with requirements and government information assurance and cyber security standards and practices through formal verification methods.
  • Assess performance using evaluation criteria and technical performance measures.
  • Develop and maintain analytical procedures to meet changing requirements.
  • Work individually and actively participate on integrated teams
Qualifications:

Required:

  • Active TS/SCI w/ Polygraph Clearance.
  • Bachelor’s degree or equivalent.
  • Minimum 3 years of relevant experience (multiple experience levels available).
  • Experience administering PeopleSoft or comparable Oracle products.
  • Extensive Linux server administration experience.

Desired:

  • AWS Cloud experience
  • Experience working with RHEL or CentOS
  • Familiarity with Ansible Playbooks
  • Knowledge/experience with BASH, JSON or Python scripting
What You Can Expect:

A culture of integrity.

At CACI, we place character and innovation at the center of everything we do. As a valued team member, you’ll be part of a high-performing group dedicated to our customer’s missions and driven by a higher purpose – to ensure the safety of our nation.

An environment of trust.

CACI values the unique contributions that every employee brings to our company and our customers - every day. You’ll have the autonomy to take the time you need through a unique flexible time off benefit and have access to robust learning resources to make your ambitions a reality.

A focus on continuous growth.

Together, we will advance our nation's most critical missions, build on our lengthy track record of business success, and find opportunities to break new ground — in your career and in our legacy.

Pay Range

There are a host of factors that can influence final salary including, but not limited to, geographic location, Federal Government contract labor categories and contract wage rates, relevant prior work experience, specific skills and competencies, education, and certifications. Our employees value the flexibility at CACI that allows them to balance quality work and their personal lives. We offer competitive compensation, benefits and learning and development opportunities. Our broad and competitive mix of benefits options is designed to support and protect employees and their families. At CACI, you will receive comprehensive benefits such as; healthcare, wellness, financial, retirement, family support, continuing education, and time off benefits.

Since this position can be worked in more than one location, the range shown is the national average for the position.

The proposed salary range for this position is:

$90,300-$189,600

CACI is anEqualOpportunity Employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, pregnancy, sexual orientation, age, national origin, disability, status as a protected veteran, or any otherprotectedcharacteristic.

#J-18808-Ljbffr

Apply