ZipRecruiter

Log In

1

Formal Verification Jobs in Virginia (NOW HIRING)

Peraton

Senior Manager, Systems Engineering

Herndon, VA · On-site

$135K - $216K/yr

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

iDirect GOVERNMENT

Senior FPGA Engineer

Herndon, VA · On-site

$110 - $140/hr

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

Peraton

Senior Manager, Systems Engineering

Herndon, VA

$135K - $216K/yr

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

Peraton

Senior Manager, Systems Engineering

Herndon, VA · On-site

$135K - $216K/yr

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

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

Arcfield

Senior Systems Engineer

Chantilly, VA · On-site

$108K - $147K/yr

  • Medical

  • Life

  • Retirement

  • PTO

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

iDirect GOVERNMENT

Senior FPGA Engineer

Herndon, VA · On-site

$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

Cohere Technology Group

Java Developer

Chantilly, VA · On-site

$52.75 - $68.25/hr

... formal verification methods Company : Cohere Technology Group is an IT firm that offers digital innovation, machine learning, and cyber terrain shaping solutions. Founded in 2015, the company is ...

Arcfield

Systems Engineer IV

Chantilly, VA · On-site

  • Medical

  • Life

  • Retirement

  • PTO

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

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

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

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

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

previous pagenext page

Showing results 21-40

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

Cybersecurity Engineering Specialist III

Cherokee Federal

Springfield, VA • On-site

$150K - $155K/yr

Other

Medical, Dental, Vision, Retirement

Posted 3 days ago

New

Job description


Cybersecurity Engineering Specialist III
This position requires an active TS/Sensitive Compartmental Information (SCI) clearance
Criterion Systems LLC is seeking a mission-focused Cybersecurity Engineering Specialist III to support and contribute to our government customer's success in Springfield, Virginia.
Compensation & Benefits:
$150,000-$155,000
Pay commensurate with experience.
Full time benefits include Medical, Dental, Vision, 401K, and other possible benefits as provided. Benefits are subject to change with or without notice.
Cybersecurity Engineering Specialist III Responsibilities Include:
  • Provides feedback to design engineers and evaluates end-to-end systems and systems-oriented products through their entire life cycle.
  • Conducts research and evaluates technical performance of software products and overall segments and systems.
  • Ensures products and systems comply with requirements and government information assurance and cyber security standards and practices through formal verification methods.
  • Verifies/validates systems with specific emphasis on network operations and cyber warfare tactics, techniques, and procedures focused on the threat to information networks.
  • Assesses performance using evaluation criteria and technical performance measures.
  • Prepares assessments and cyber threat profiles of current and planned products based on sophisticated testing, research, and analysis.
  • Participates in design reviews of components (hardware and software) to ensure applicability to the current system and traceability of requirements.
  • Reviews test plans/procedures and ensures they verify/validate the requirements.
  • Develops and maintains analytical procedures to meet changing requirements.
  • Produces high-quality papers, presentations, recommendations, and findings for senior US government intelligence and operations officials.
  • Performs other job-related duties as assigned

Cybersecurity Engineering Specialist III Experience, Education, Skills, Abilities requested:
  • Current TS/SCI security clearance
  • Must meet one of the following:
    • High School Diploma and minimum of ten (10) years of related experience
    • Associates Degree and minimum of eight (8) years of related experience
    • Bachelor's Degree and minimum of six (6) years of related experience
    • Master's Degree and minimum of four (4) years of experience
  • Ability to develop new concepts and processes.
  • Ability to analyze root causes and resolve issues.
  • Ability to support junior level technicians and specialists in their activities.
  • Ability to perform all tasks of lower level technicians or specialists.
  • Ability to work individually, actively participate on integrated teams, and lead a task, project or team.
  • Must pass pre-employment qualifications of Cherokee Federal

Company Information:
Criterion Systems LLC is a part of Cherokee Federal - the division of tribally owned federal contracting companies owned by Cherokee Nation Businesses. As a trusted partner for more than 60 federal clients, Cherokee Federal LLCs are focused on building a brighter future, solving complex challenges, and serving the government's mission with compassion and heart. To learn more about Criterion, visit cherokee-federal.com.
#CherokeeFederal #LI-CK2 #IntelCareers
Cherokee Federal is a military friendly employer. Veterans and active military transitioning to civilian status are encouraged to apply.
Similar searchable job titles:
  • Cybersecurity Engineer
  • Cybersecurity Analyst
  • Cybersecurity Technician
  • Cybersecurity Manager
  • SOC Analyst

Keywords:
  • Cyber Threat Profiles
  • Test engineer
  • Cyber warfare tactics
  • Cyber network defense
  • Vulnerability assessment

Legal Disclaimer: Cherokee Federal is an equal opportunity employer. Please visit cherokee-federal.com/careers for information regarding our Affirmative Action and Equal Opportunity Employer Statement, and Accommodation request.
Many of our job openings require access to government buildings or military installations. Candidates must pass pre-employment qualifications of Cherokee Federal.
As required by our governmental client, this position requires being a AND an active TS/Sensitive Compartmental Information (SCI) clearance.
Cherokee Federal logo

About Cherokee Federal

Sourced by ZipRecruiter

Cherokee Federal - a division of Cherokee Nation Businesses - is a team of tribally owned federal contracting companies focused on building solutions, solving complex challenges, and serving the nation's mission around the globe for more than 60 federal clients. Our team of companies manages nearly 1,000 projects of all sizes across the construction, consulting, engineering and manufacturing, health, and technology portfolios. Since 2012, the Cherokee Federal team of companies has won more than $5 billion in government contracts. Our 3,000+ employees work in 26 countries, 50 states and 2 U.S. territories. Why choose Cherokee Federal? Visit our website and learn about the great reasons to join our team. cherokee-federal.com

Industry

Architectural services

Company size

1,001 - 5,000 Employees

Headquarters location

Tulsa, OK, US

Year founded

1969

Social media

FacebookTwitter

View All Cherokee Federal Jobs

Apply