Huntington Ingalls Industries, Inc.-posted 7 days ago
Full-time • Entry Level
Roanoke, VA

Do you enjoy challenging digital design verification problems? 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 for this position 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. This posting is to collect applications for current and future openings for HII Mission Technologies. Candidates will be screened as opportunities come available and selected candidates will be contacted about an opportunity. Entry Level 1-2 ( 0+ yrs of experience).

  • Candidates will develop models, transactors, stimuli, monitors, and test benches for simulating and uncovering hidden behaviors in gate-level digital netlists.
  • Candidates will be expected to produce clear documentation and test cases demonstrating identified bugs or deviations from the specification.
  • Effective collaboration with teammates to produce cohesive results and create improved processes is required.
  • 0 years experience with Bachelors in related field; or High School Diploma or equivalent and 4 years relevant experience.
  • US Citizenship
  • Willingness to obtain a Top-Secret security clearance
  • Degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field
  • Experience with modern digital verification and modeling languages: SystemVerilog, SystemC, C/C++, Matlab, etc.
  • Directed, constrained-random, and assertion-based verification techniques at the gate, interface, and transaction levels
  • Experience with modern, commercial-grade, functional simulators (e.g., Xcelium, Incisive, Questa, VCS, Riviera-Pro, etc)
  • Writing scripts for batched verification tasks: Python, Bash, Tcl, make files.
  • Revision control systems for maintaining, sharing, and deploying code: Perforce, git, SVN, etc.
  • Familiarity with debugging and isolating issues with gate-level netlists
  • Familiarity with object-oriented, embedded, assembly, or machine code programming
  • Software or hardware reverse-engineering (e.g., IDA Pro, Ghidra)
  • FPGA design or verification
  • Active Top Secret security clearance
  • Familiarity with testing and verification techniques for IC trust, assurance, or security
  • Experience with logical equivalence checkers (e.g., OneSpin 360-EC, ESP, Conformal EC)
  • Experience with formal ABV
© 2024 Teal Labs, Inc
Privacy PolicyTerms of Service