ZipRecruiter

Log In

1

Formal Verification Jobs in Virginia (NOW HIRING)

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

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

SwiftCruit

Linux Systems Administrator

Chantilly, VA · On-site

$90.30 - $189.60/hr

  • Medical

  • Retirement

  • PTO

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

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

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

TekSynap

Junior Systems Engineer, Labs

Reston, VA

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

CACI International Inc.

Linux Systems Administrator

Chantilly, VA · On-site

$90.30 - $189.60/hr

  • Medical

  • Retirement

  • PTO

... formal verification methods. • Assess performance using evaluation criteria and technical performance measures. • Develop and maintain analytical procedures to meet changing requirements. • ...

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

  • Medical

  • Dental

  • Vision

  • Retirement

  • PTO

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

Posted today

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

Huntington Ingalls Industries

Mission Software Engineer

Roanoke, VA · On-site

$85 - $185/hr

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

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

Huntington Ingalls Industries

Software Engineer

Roanoke, VA · On-site

$74K - $241K/yr

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

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

Senior FPGA Engineer

iDirect GOVERNMENT

Herndon, VA • On-site, Remote

$91K - $159K/yr

Full-time

Re-posted 15 days ago

Job description

Overview
iDirectGov's hubs, satellite routers and network management software address the growing complexity of deploying and managing global IP networks. iDirect Government's specialized technology includes transmission security (TRANSEC), Communication Signal Interference Removal (CSIR™) anti-jam technology and Open Antenna Modem Interface Protocol (OpenAMIP). We bring innovation, integration and intelligence to satellite-based IP communications that government and military organizations trust. By providing quality certifications with the most bandwidth-efficient, scalable and highly secure platform, we have rapidly become the technology provider of choice for military and government-driven mission-critical applications.
Responsibilities
We are seeking a team player with solid technical skills to work with our team of smart, creative, and dedicated engineering team-members. This position is based out of our Herndon, VA location with the option of a remote work schedule.
  • Designing and testing complex, high speed, FPGA designs
  • Designing and supporting top-level simulations
  • Translating requirements into FPGA architectures
  • Implementing and documenting FPGA designs using HDL (System Verilog, VHDL, etc.)
  • Supporting system integration and Test Engineering to produce functional design
  • Implementing and contributing to the architecture of next generation satellite communication systems such as DVB-S2X, LPI/LPD, 5G-NR, etc.
  • Designing the implementations for further advances in adaptive TDMA, SCPC return channels, including modeling and design of algorithms for real time embedded system implementation and Anti-Jam technologies
  • Supporting integration of FDMA and TDMA waveforms
  • Creating test plans to assure integrated performance meets specification
  • Writing internal and external facing documents about iDirect Government physical layer FPGA technology
  • Producing simulations of and designs for communication channels enabling the study of both channel improvement measures, such as pre-distortion/pre-coding as well as overall satellite communication system efficiency

Qualifications
  • 8+ years of related experience
  • FPGA design experience using Verilog/System Verilog or VHDL languages targeting Xilinx/Altera FPGA's
  • FPGA design experience with physical synthesis, static timing analysis, formal verification, power analysis, and other DRC centric tools
  • Experience with ModelSim/QuestaSim simulation tools
  • Experience with Altera/Xilinx development tools
  • Demonstrated ability to verify digital logic designs with System Verilog
  • Demonstrated understanding in timing closure, clock domain crossings, etc.
  • Understanding of Software Defined Radio (SDR) in regards to abstracting hardware
  • Experience with HW PCB tools, and HW test equipment to find and debug interfaces at a physical level
  • Ability to plan/perform analysis, studies/trade-offs in support of subsystem specification and hardware, FPGA and software design recommendations
  • Comfort working closely with HW/RF engineering specialties on design and configuration for RF communication systems
  • Experience in writing low-level test software such as C/C++, LabView, Python, etc.
  • Experience in Digital Signal Processing on FPGAs and SDR waveform implementation
  • Experience in SoC multi-processor designs specifically: Xilinx Zynq MPSoC, Xilinx Versal, Altera SoC FPGA
  • Experience with JTAG, DAC/ADC functional and RF parametric test development
  • Experience with high-speed interfaces such as JESD-204C, 10/40G Ethernet, Aurora, etc.
  • Familiarity in RF chain design and considerations
  • RF measurement experience and use of RF test and measurement Equipment such as Spectrum Analyzers, Network Analyzers, signal generators, etc.
  • Experience with both Altera and Xilinx design and verification tools

Additional experience in the following areas is a plus:
  • Experience with various control loops
  • Experience with FPGA Direct Memory Access IP (i.e. Xilinx DMA Engine or similar)
  • Experience with IEEE 1588/PTP networking
  • Experience implementing DSP algorithms in RTL
  • Experience with modulators/demodulators, forward error correction, adaptive channels, anti-jam algorithms, etc.
  • Familiarity with Networking, TCP/IP, UDP, DHCP, etc.
  • Experience with Xilinx and/or Altera high level synthesis tools
  • Experience with Matlab/Simulink or equivalent for development of DSP algorithms implemented in FPGA's
  • Experience implementing DSP algorithms in System Generator or similar tools
  • Satellite Communication experience
  • Familiarity with Linux driver development or usage

Education: Bachelor's degree (BA/BS) in Electrical Engineering, Computer Engineering, or closely related field (must be from accredited college or university); MSEE/MSCE preferred
Clearance: Active DoD security clearance or ability to obtain a secret level DoD clearance.
Travel: 0-10%
Pay Range: $91,053 -$159,370
The iDirect Government salary range for this position is intended to provide a general guideline for compensation. Actual compensation may vary based on factors including, but not limited to, the duties and responsibilities of the role, education, experience, knowledge, skills, abilities, internal equity, market data, applicable collective bargaining agreements, and other business or legal considerations. The posted range is not a guarantee of compensation.
iDirect Government is an Equal Opportunity / Affirmative Action employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, national origin, disability, sexual orientation, gender identity, or protected veteran status.

Apply