ZipRecruiter

Log In

2

Remote Formal Verification Jobs in Virginia (NOW HIRING)

iDirect GOVERNMENT

Senior FPGA Engineer

Herndon, VA · On-site +1

$133K - $171K/yr

This position is based out of our Herndon, VA location with the option of a remote work schedule ... FPGA design experience with physical synthesis, static timing analysis, formal verification, power ...

Shift5

Systems Integration Engineer

Rosslyn, VA · On-site +1

$141K - $160K/yr

... review of formal CDRL artifacts for government programs. * Improve system reliability and compliance by defining robust verification strategies and overseeing system-level testing to ensure ...

Shift5

Systems Integration Engineer

Arlington, VA · On-site +1

$141K - $160K/yr

... review of formal CDRL artifacts for government programs. * Improve system reliability and compliance by defining robust verification strategies and overseeing system-level testing to ensure ...

Naval Air Systems Command

PROGRAM ANALYST

Norfolk, VA · On-site +1

$108K - $140K/yr

You will prepare and present formal oral and written presentations to all levels of government and ... To learn more about E-Verify, including your rights and responsibilities, visit e-verify.gov

ICF

Quality Assurance Editor - On-call

Reston, VA · Remote

Verify consistency across related deliverables (e.g., IPD PTB IPS training materials). * Apply and ... Proven ability to apply and enforce a formal style guide (e.g., agency-specific, GPO) * Experience ...

All JobsFormal Verification JobsRemote Formal Verification JobsRemote Formal Verification Jobs in Virginia

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 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 Remote Formal Verification jobs in Virginia? For Remote Formal Verification jobs in Virginia, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification jobs in Virginia look for? The top searched job categories for Remote Formal Verification jobs in Virginia are:
What cities in Virginia are hiring for Remote Formal Verification jobs? Cities in Virginia with the most Remote Formal Verification job openings:
Remote Formal Verification jobs near you
Senior FPGA Engineer

Senior FPGA Engineer

iDirect GOVERNMENT

Herndon, VA • On-site, Remote

$133K - $171K/yr

Full-time

Re-posted 9 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%
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