- Amazon (Arlington, VA)
- …knowledge sharing and mentorship Basic Qualifications - 3+ years of programming in Python , Ruby, Go, Swift, Java, .Net, C++ or similar object oriented language ... threat modeling experience, secure coding, identity management and authentication, software development, cryptography, system administration and network security experience… 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)
- …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 ... Questa, VCS, Riviera-Pro, etc) Writing scripts for batched verification tasks: Python , Bash, Tcl, make files. Revision control systems for maintaining, sharing,… more
- Navy Federal Credit Union (Winchester, VA)
- …JavaScript, Python , Bash, and PowerCLI) + Experience with Automation software (eg, Ansible, Packer, Terraform, Azure Automation) + Experience with version ... Virtual Environments with high efficiency and availability using the combination of software and systems engineering practices. In this position, you will leverage… 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
- Lockheed Martin (Herndon, VA)
- …responsibility\. Your Mission is Ours\. Lockheed Martin Space is seeking a Summer 2026 Software Engineer Intern\. In this role, you will focusing on software ... at least one of these skill areas: C, C\+\+, python , Reverse Engineering, Operating Systems, Software Design,...C, C\+\+, python , Reverse Engineering, Operating Systems, Software Design, Software Development and Implementation, … more
- BOOZ, ALLEN & HAMILTON, INC. (Lorton, VA)
- ATAK Software Developer The Opportunity: As an embedded software engineer , you know how to create and maintain crucial pieces of software . You use your ... them to communicate. We're looking for an experienced embedded software engineer like you to develop technology...in Java and Kotlin + Knowledge of C++ and Python + Knowledge of embedded Linux or Android-based edge… more
- SAIC (Alexandria, VA)
- …military areas. + 7 years using mission-level digital tools such as AFSIM, Python , R. This includes development of models for scenarios, missions, and systems; and ... of simulation outputs; and debugging simulation models and resolve software , scripting, or logic errors within model implementations. **Desired Qualifications:**… more
- SAIC (Alexandria, VA)
- …military areas. + 3 years using mission-level digital tools such as AFSIM, Python , R. This includes development of models for scenarios, missions, and systems; and ... and visualization of simulation outputs; and debugging simulation models and resolve software , scripting, or logic errors within model implementations. + 3 years… more