- Huntington Ingalls Industries (Roanoke, VA)
- …description languages, embedded instruction architectures, high-level software development languages, formal verification tools, and more. The ideal candidate ... Requirements Adequate visual acuity and manual dexterity for meeting the requirements Software Engineer family. The listed salary range for this role is intended as… more
- SAIC (Chantilly, VA)
- **Description** **JOB DESCRIPTION:** SAIC is seeking a long-haul fiber Telecommunications Engineer in **Chantilly, VA** to support of a government customer. The ... estimation for long-haul bandwidth service requests. + Develop and deliver formal updates to network designs that describe, and capture proposed/approved… more
- SAIC (Stafford, VA)
- …design, code and test to ensure end-to-end traceability in support of formal verification , requiring continuous collaboration with other technical disciplines + ... **Description** SAIC is seeking a Software Safety Engineer with an active Secret clearance in Stafford, VA. A successful candidate will work as part of a team and… more
- Leidos (Reston, VA)
- **Description** **Leidos** has a new and exciting opportunity for Cyber Security Engineer SME in our **National Security Sector's (NSS) Cyber & Analytics Business ... operational procedures, proper tools are leveraged in the DevSecOps CI/CD Pipeline, verification that security policy and procedures are enforced, and some work… more
- General Atomics (Chantilly, VA)
- …equivalent) diagrams to describe system design and function + Knowledge of formal software engineering principles such as, but not limited to, design, documentation, ... ticketing systems, version control and Agile methodologies. + Knowledge of formal system engineering principles such as, but not limited to, requirement analysis,… more
- Amentum (Arlington, VA)
- …best practices are followed by performers, and supporting DARPA-funded independent verification and validation (IV&V) testing with performers and partners. The ideal ... accreditation, and/or DOD cyber security activities. + Education and/or experience using Formal Methods, such as using automated reasoning tools to verify software… more
- Amentum (Arlington, VA)
- …ensuring that project management best practices are followed by performers, independent verification and validation (IV&V) entities funded by DARPA, and within DARPA ... Vulnerability Research, or Reverse Engineering. + Education and/or experience using Formal Methods, such as using automated reasoning tools to verify software… more
- UIC Government Services and the Bowhead Family of Companies (Dahlgren, VA)
- …Operation, Test and Evaluation,Sensor Certification, and Sensor Requirement Verification . **Responsibilities** List of open positions: + Aegis/Spy Certification ... Lead Engineer + Aegis/Spy RADAR Engineer + Combat...listed on the applicant's resume/application may be subject to verification . Where driving may be required or where a… more
- UIC Government Services and the Bowhead Family of Companies (Quantico, VA)
- …+ Knowledge Management Specialist (Tier II) + Logistics Technician (Tier II) + Network Engineer (Tier III) + Program Analyst (Tier II) + Program Planner (Tier I) + ... Security Control Assessor (Tier II) + Senior Data Analyst Engineer (Tier III) + Senior Systems Software Engineer...listed on the applicant's resume/application may be subject to verification . Where driving may be required or where a… more
- UIC Government Services and the Bowhead Family of Companies (Alexandria, VA)
- …+ Ammunition Functional Analyst + ARDAP Financial Operations Management + Cloud Architecture Engineer + Computer Network Architects + Cyber Security Engineer + ... Network Architect) + Information Security Analyst + Information Systems Security Engineer (ISSE) + Information Technology Specialist + IT Architecture and Cyber… more