ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Washington

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

Ad Hoc

Engineer Lead

Mclean, VA · Remote

$103K - $136K/yr

Engineer Lead Job number: 819 This is a remote position. Ad Hoc is a technology company that ... Extensive experience with software development, customer interactions, formal and informal ...

System One

IT Engineer - Windows and macOS

Bethesda, MD · Remote

$40 - $60/hr

... Secret required Remote Rate: $40/hr. to $60/hr. commensurate with experience System One IT is ... Follow a formal assessment-to-remediation workflow, producing Findings Reports, Remediation Plans ...

Ignite IT

Senior Network Security Engineer

Suitland, MD · Remote

$63 - $82.50/hr

VPN / remote access: support for remote-access VPN, site-to-site VPN, user connectivity issues ... formal change management. * Federal/customer environment maturity: Public Trust eligibility ...

System One

IT Engineer - Windows and macOS

Bethesda, MD · Remote

$40 - $60/hr

... Secret required Remote Rate: $40/hr. to $60/hr. commensurate with experience System One IT is ... Follow a formal assessment-to-remediation workflow, producing Findings Reports, Remediation Plans ...

System One

IT Engineer - Windows and macOS

Bethesda, MD · Remote

$40 - $60/hr

... Secret required Remote Rate: $40/hr. to $60/hr. commensurate with experience System One IT is ... Follow a formal assessment-to-remediation workflow, producing Findings Reports, Remediation Plans ...

System One

IT Engineer - Windows and macOS

Bethesda, MD · Remote

$40 - $60/hr

... Secret required Remote Rate: $40/hr. to $60/hr. commensurate with experience System One IT is ... Follow a formal assessment-to-remediation workflow, producing Findings Reports, Remediation Plans ...

System One

Cloud Service Desk Engineer

Bethesda, MD · Remote

$55 - $70/hr

Support VDI connectivity engineering, ensuring remote users on macOS and Windows platforms can ... Experience working under formal change control, audit, and security governance processes Required ...

System One

Cloud Service Desk Engineer

Bethesda, MD · Remote

$55 - $70/hr

Support VDI connectivity engineering, ensuring remote users on macOS and Windows platforms can ... Experience working under formal change control, audit, and security governance processes Required ...

System One

Cloud Service Desk Engineer

Bethesda, MD · Remote

$55 - $70/hr

Support VDI connectivity engineering, ensuring remote users on macOS and Windows platforms can ... Experience working under formal change control, audit, and security governance processes Required ...

next page

Showing results 1-20

All JobsRemote Formal Verification Engineer JobsRemote Formal Verification Engineer Jobs in Washington

Remote Formal Verification Engineer information

What is the difference between Remote Formal Verification Engineer vs Remote Hardware Verification Engineer?

AspectRemote Formal Verification EngineerRemote Hardware Verification Engineer
Required CredentialsBachelor's/Master's in Electrical Engineering, Computer Science; certifications in formal methodsBachelor's/Master's in Electrical Engineering, Computer Engineering; certifications in hardware testing
Work EnvironmentDesign and analyze digital systems using formal methods remotelyTest and validate hardware components remotely in lab or simulation environments
Industry UsageSemiconductor, electronics, tech companies focusing on verificationSemiconductor, electronics, hardware manufacturing companies
Search & Comparison IntentOften compared due to similar industry and skills, focusing on verification methods

The Remote Formal Verification Engineer specializes in mathematically proving the correctness of digital systems remotely, while the Remote Hardware Verification Engineer tests and validates hardware components remotely. Both roles require strong technical credentials and are used in similar industries, but they focus on different verification techniques and processes.

What are Remote Formal Verification Engineers?

Remote Formal Verification Engineers are professionals who use mathematical methods to verify the correctness of hardware or software designs, ensuring they meet specified requirements and are free from critical errors. They typically work from home or any location outside a traditional office, collaborating with teams online. Their main tasks include writing formal specifications, developing verification strategies, analyzing results, and reporting on system reliability. This role is essential in industries like semiconductor design, automotive, and aerospace, where system failures can have significant consequences.

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 a strong background in digital design, formal verification methodologies, and a relevant degree in computer engineering or a related field. Expertise in formal verification tools (such as JasperGold or Questa Formal), hardware description languages (like Verilog or VHDL), and scripting languages is typically required. Strong problem-solving ability, attention to detail, and effective remote communication skills set top performers apart. These skills ensure the accurate validation of hardware designs, reduce costly errors, and enable efficient collaboration in distributed teams.

How does a Remote Formal Verification Engineer typically collaborate with development and design teams across different time zones?

As a Remote Formal Verification Engineer, effective collaboration with development and design teams is critical, especially when working across multiple time zones. Most teams use a combination of asynchronous communication tools (like email, Slack, and project management platforms) and scheduled video meetings to align on goals, clarify verification requirements, and review progress. It's common to document verification plans and results thoroughly so colleagues in other regions can review and contribute. Flexibility in working hours and proactive communication help ensure smooth handoffs and minimize blockers, making remote collaboration productive and efficient.
What are popular job titles related to Remote Formal Verification Engineer jobs in Washington? For Remote Formal Verification Engineer jobs in Washington, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification Engineer jobs in Washington look for? The top searched job categories for Remote Formal Verification Engineer jobs in Washington are:
What cities in Washington are hiring for Remote Formal Verification Engineer jobs? Cities in Washington with the most Remote Formal Verification Engineer job openings:
Remote Formal Verification Engineer jobs near you
Senior FPGA Engineer

Senior FPGA Engineer

iDirect GOVERNMENT

Herndon, VA • On-site, Remote

$133K - $171K/yr

Full-time

Posted 20 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