- Huntington Ingalls Industries (Roanoke, VA)
- …threats. Our capabilities in cybersecurity, network architecture, reverse engineering, software and hardware development uniquely enable us to support sensitive ... VCS, Verdi), logical equivalence tools (eg, OneSpin 360EC), and proprietary software tools to verify design function and integrity. Common verification targets… more
- Huntington Ingalls Industries (Roanoke, VA)
- …threats. Our capabilities in cybersecurity, network architecture, reverse engineering, software and hardware development uniquely enable us to support sensitive ... VCS, Verdi), logical equivalence tools (eg, OneSpin 360EC), and proprietary software tools to verify design function and integrity. Common verification targets… more
- Huntington Ingalls Industries (Roanoke, VA)
- …VCS, Verdi), logical equivalence tools (eg, OneSpin 360EC), and proprietary software tools to verify design function and integrity. Common verification targets ... with modern digital verification and modeling languages: SystemVerilog, SystemC, C / C ++, Matlab, etc. Directed, constrained-random, and assertion-based… more
- Navy Federal Credit Union (Winchester, VA)
- …Virtual Environments with high efficiency and availability using the combination of software and systems engineering practices. In this position, you will leverage ... (eg, Cisco, HP, Dell) + Experience with containerization of software services (eg, OpenShift, Docker, Kubernetes) + Experience with...Yello and WayUp Top 100 Internship Programs From Fortune. ( C ) 2025 Fortune Media IP Limited. All rights reserved.… more
- Govini (Arlington, VA)
- …Govini transforms Defense Acquisition from an outdated manual process to a software -driven strategic advantage for the United States. Our flagship product, Ark, ... and data expert + Execute the successful implementation of software and data to Govini's customers and provide platform...+ Knowledge of languages/applications, such as React, Typescript, Java, C , GoLang, or the ability to quickly learn these… more
- Huntington Ingalls Industries (Roanoke, VA)
- …threats. Our capabilities in cybersecurity, network architecture, reverse engineering, software and hardware development uniquely enable us to support sensitive ... VCS, Verdi), logical equivalence tools (eg, OneSpin 360EC), and proprietary software tools. + Candidates will develop models, transactors, stimuli, monitors, and… more
- US Tech Solutions (Arlington, VA)
- …code level in web and mobile applications written in Java, React, Objective C , SWIFT, Kotlin etc. - With your development background and security knowledge, provide ... work experience in the IT field - 3+ years software development experience using Java, JavaScript - 3+ years...the following: - OWASP Secure Coding Practices - Common software and web application security vulnerabilities - Application security… more
- Amentum (Hampton, VA)
- …control temperatures down to -250 F. A combination of old and new, software and hardware, the work is hands-on, varied and unique. **Responsibilities:** + Candidate ... be provided for all conditions.) **Equipment and Machine:** + Software Tools : PLC Ladder Logic and other IEC...Logic and other IEC 61131-3 languages, FactoryTalk View, LabVIEW, C / C ++, MS Office [Word, Excel, Outlook, Visio],… more
- Amazon (Arlington, VA)
- …- 3+ years of programming in Python, Ruby, Go, Swift, Java, .Net, C ++ or similar object oriented language experience - Bachelor's degree in computer science ... threat modeling experience, secure coding, identity management and authentication, software development, cryptography, system administration and network security experience… more
- Huntington Ingalls Industries (Langley AFB, VA)
- …threats. Our capabilities in cybersecurity, network architecture, reverse engineering, software and hardware development uniquely enable us to support sensitive ... corrective action processes using Reliability, Availability, Maintainability - Cost (RAM- C ). + Tracks parts consumption, maintains documentation, and deploys… more