Huntington Ingalls Industries - Roanoke, VA

posted 2 months ago

Full-time - Entry Level
Roanoke, VA
5,001-10,000 employees
Transportation Equipment Manufacturing

About the position

HII Mission Technologies is seeking innovative thinkers to tackle challenging digital design verification problems. This role involves uncovering difficult-to-activate corner-case bugs and vulnerabilities in gate-level netlists of FPGA and ASIC designs. Candidates will utilize industry-standard functional verification tools such as Questa, VCS, and Verdi, along with logical equivalence tools like OneSpin 360EC, to ensure the integrity and functionality of designs. The verification targets include embedded processors, DSPs, filters, transceivers, data links, systems-on-chip, and decoders. Experience in cybersecurity, electronic warfare, encryption, radar, or satellite communications is advantageous. In this position, candidates will develop models, transactors, stimuli, monitors, and test benches to simulate and identify hidden behaviors in gate-level digital netlists. Clear documentation and test cases demonstrating identified bugs or deviations from specifications are essential. Effective collaboration with teammates is required to produce cohesive results and improve processes. Candidates must be U.S. citizens and willing to obtain a DoD security clearance if not already cleared.

Responsibilities

  • Develop models, transactors, stimuli, monitors, and test benches for simulating gate-level digital netlists.
  • Utilize functional verification tools to verify design function and integrity.
  • Produce clear documentation and test cases demonstrating identified bugs or deviations from specifications.
  • Collaborate effectively with teammates to produce cohesive results and improve processes.

Requirements

  • U.S. 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.
  • Experience with directed, constrained-random, and assertion-based verification techniques at the gate, interface, and transaction levels
  • Familiarity with modern, commercial-grade functional simulators (e.g., Xcelium, Incisive, Questa, VCS, Riviera-Pro, etc.)
  • Experience writing scripts for batched verification tasks: Python, Bash, Tcl, make files
  • Familiarity with revision control systems for maintaining, sharing, and deploying code: Perforce, git, SVN, etc.
  • Familiarity with debugging and isolating issues with gate-level netlists
  • 0 years of experience with a Bachelor's in a related field; or a High School Diploma or equivalent and 4 years of relevant experience.

Nice-to-haves

  • Familiarity with object-oriented, embedded, assembly, or machine code programming
  • Experience in software or hardware reverse-engineering (e.g., IDA Pro, Ghidra)
  • Experience in 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.

Benefits

  • Best-in-class medical, dental, and vision plan choices
  • Wellness resources
  • Employee assistance programs
  • Savings Plan Options (401(k))
  • Financial planning tools
  • Life insurance
  • Employee discounts
  • Paid holidays and paid time off
  • Tuition reimbursement
  • Early childhood and post-secondary education scholarships
© 2024 Teal Labs, Inc
Privacy PolicyTerms of Service