Huntington Ingalls Industries-posted 3 months ago
Full-time • Mid Level
Roanoke, VA
5,001-10,000 employees
Transportation Equipment Manufacturing

This opportunity resides with Warfare Systems (WS), a business group within HII's Mission Technologies division. Warfare Systems comprises cyber and mission IT; electronic warfare; and C5ISR systems. HII works within our nation's intelligence and cyber operations communities to defend our interests in cyberspace and anticipate emerging threats. Our capabilities in cybersecurity, network architecture, reverse engineering, software and hardware development uniquely enable us to support sensitive missions for the U.S. military and federal agency partners. Our team of more than 7,000 professionals worldwide delivers all-domain expertise and advanced technologies in service of mission partners across the globe. Mission Technologies is leading the next evolution of national defense - the data evolution - by accelerating a breadth of national security solutions for government and commercial customers. Our capabilities range from C5ISR, AI and Big Data, cyber operations and synthetic training environments to fleet sustainment, environmental remediation and the largest family of unmanned underwater vehicles in every class. Find the role that's right for you. Apply today. We look forward to meeting you.

  • Develop models, transactors, stimuli, monitors, and test benches for simulating and uncovering hidden behaviors in gate-level digital netlists.
  • Produce clear documentation and test cases demonstrating identified bugs or deviations from the specification.
  • Collaborate effectively with teammates to produce cohesive results and create improved processes.
  • 2 years relevant experience with Bachelors in related field; 0 years experience with Masters in related field; or High School Diploma or equivalent and 6 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