Markon-posted 10 days ago
$200,000 - $250,000/Yr
Full-time • Senior
Arlington, VA
101-250 employees

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.

  • 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
  • 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
  • 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
  • Medical
  • Dental
  • Vision
  • Life Insurance
  • Short-Term Disability
  • Long-Term Disability
  • 401(k) match
  • Flexible Spending Accounts
  • EAP
  • Training and Tuition Assistance
  • Paid Time Off
  • Holidays
© 2024 Teal Labs, Inc
Privacy PolicyTerms of Service