ZipRecruiter

Log In

2

Remote Formal Verification Jobs in Washington (NOW HIRING)

iDirect GOVERNMENT

Senior FPGA Engineer

Herndon, VA · On-site +1

$91K - $159K/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 ...

Booz Allen Hamilton, Inc.

Test Engineer

Annapolis, MD · On-site +1

$86K - $198K/yr

Remote Work: No Job Number: R0234639 Location: Annapolis Junction,MD,US Share job via: Share Test ... Test software following a formal automated testing method using various telephony and networking ...

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

Booz Allen Hamilton, Inc.

Test Engineer

Annapolis, MD · On-site +1

$86K - $198K/yr

Remote Work: No Job Number: R0242445 Location: Annapolis Junction,MD,US Share job via: Share Test ... Test software following a formal automated testing method using various telephony and networking ...

Pivot Path Solutions

.NET Software Developer

Fairfax, VA · On-site +1

$48 - $63.25/hr

This is a remote position. Essential Functions and Job Responsibilities: The ideal candidate will ... Net. * Ability to manage software development efforts using formal specifications, data flow ...

Pivot Path Solutions

.NET Software Developer

Fairfax, VA · Remote

$49.50 - $65.25/hr

This is a remote position. Essential Functions and Job Responsibilities: The ideal candidate will ... Net. * Ability to manage software development efforts using formal specifications, data flow ...

VLinc

Business Development Specialist

Washington, DC · Remote

$70K - $90K/yr

... verification * Support outreach and engagement with Army, USAF, Space Force, VA, and DHS agency ... Respond to Sources Sought and RFIs to maintain VLinc's visibility ahead of formal solicitations

Booz Allen Hamilton, Inc.

All-Source Analyst

Washington, DC · On-site +1

$62K - $141K/yr

Remote Work: No Job Number: R0244850 Location: Washington,DC,US Share job via: Share All-Source ... We reserve the right to take your picture to verify your identity and prevent fraud. Candidate AI ...

next page

Showing results 1-20

All JobsFormal Verification JobsRemote Formal Verification JobsRemote Formal Verification Jobs in Washington

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

Senior FPGA Engineer

iDirect GOVERNMENT

Herndon, VA • On-site, Remote

$91K - $159K/yr

Full-time

Re-posted 25 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