Senior FPGA Verification Engineer

Markon•Arlington, VA

64d•$200,000 - $250,000

About The Position

Markon’s partner company is looking for an experienced FPGA Verification Engineer to join our classified hardware development team, helping to deliver next-generation, high-assurance digital systems. In this role, you’ll be responsible for developing and executing comprehensive verification strategies that ensure our FPGA designs meet the highest standards of reliability and security.

Requirements

Active TS/SCI with Full Scope Polygraph
Bachelor’s degree (or higher) in Electrical Engineering, Computer Engineering, or a related field
7+ years of FPGA or ASIC verification experience
Expertise in SystemVerilog, UVM, and assertion-based verification
Hands-on experience with formal verification tools (e.g., Cadence JasperGold or similar)
Strong understanding of coverage-driven verification methodologies

Nice To Haves

Knowledge of security protocols and formal security proofs
Proficiency with SystemVerilog Assertions (SVA)
Background in mathematical logic and proof systems
Experience working on classified or high-assurance hardware projects

Responsibilities

Develop and implement UVM-based verification environments for complex FPGA designs
Create and execute formal verification test plans and perform formal property verification and equivalence checking
Build automated test frameworks to support coverage-driven and regression testing
Apply formal methods to validate security-critical design blocks
Collaborate closely with RTL design engineers to ensure robust and high-quality designs
Contribute to process improvements and best practices for formal and functional verification