HII Mission Technologies is seeking out-of-the-box thinkers who can uncover difficult-to-activate corner-case bugs and vulnerabilities in the gate-level netlists of FPGA and ASIC designs. Candidates will contribute to the team by utilizing industry-standard functional verification tools (e.g., Questa, VCS, Verdi), logical equivalence tools (e.g., OneSpin 360EC), and proprietary software tools to verify design function and integrity. Common verification targets include embedded processors, DSPs, filters, transceivers, data links, systems-on-chip, and decoders. Experience in the cybersecurity, electronic warfare, encryption, radar, and/or satellite communications domains is a plus.