- CGI Technologies and Solutions, Inc. (Newport News, VA)
- **Information Assurance Analyst (Cyber)** **Category:** Cyber Security **Main location:** United States, Virginia, Newport News **Position ID:** J0325-0674 ... We are seeking a highly organized and detail-oriented Information Assurance (IA) Analyst to join our team in Newport...In this role you will define and deploy effective methods and strategies to provide security operations and compliance… more
- Lockheed Martin (Arlington, VA)
- …neural networks, game theory, causal fusion, neuro\-symbolic reasoning, GenAI \) \- Formal methods for assurance , optimization, and verification/validation ... our areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous… more
- Leidos (Arlington, VA)
- …+ FPGA development and testing, embedded systems design and innovation, applying formal methods , using technologies such as theorem provers for first-order ... systems. + Develop novel approaches for the generation of assurance evidence for critical software , at scale...opportunities + Experience applying and leading the application of formal methods in fundamental research contexts, to… more
- Leidos (Arlington, VA)
- …+ FPGA development and testing, embedded systems design and innovation, applying formal methods , using technologies such as theorem provers for first-order ... systems. + Develop novel approaches for the generation of assurance evidence for critical software , at scale...opportunities + Experience applying and leading the application of formal methods in fundamental research contexts, to… more
- Lockheed Martin (Arlington, VA)
- …our areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous ... * Conducted research in at least one more adjacent area such as formal verification/ methods \(e\.g\., theorem provers, SMT/SAT solvers, etc\.\) or assurance… more
- Ryder System (Richmond, VA)
- …Improvement culture across the operation by actively applying continuous improvement methods to support new and existing operations. The Engineer will identify ... and/or customer(s). + Develop and demonstrate competency in wide range of engineering methods , Lean tools, and quality standards and coaches employees in the use and… more
- Ryder System (Richmond, VA)
- …Continuous Improvement culture across the business by actively applying continuous improvement methods to support new and existing operations. The Lead Engineer will ... customer(s). + Demonstrate a high level of competency in wide range of engineering methods , Lean tools, and quality standards and coaches employees in the use and… more
- UIC Government Services and the Bowhead Family of Companies (Dahlgren, VA)
- …in-depth consulting for problems involving system operations. + Automated installation methods and system imaging (eg Kickstart/Anaconda). + Usage of cryptographic ... log on methods (eg PKI). + DISA STIG implementation and working...Analysis, design, and implementation of modifications to the system software in order to improve system performance by correcting… more
- UIC Government Services and the Bowhead Family of Companies (Dahlgren, VA)
- …and in-depth consulting relative to system operations + Automate installation methods and system imaging (eg Kickstart/Ansible) + Use cryptographic experience to ... Configuration-Managed Environments + Analyze, design, and implement modifications to system software to improve and enhance system performance by correcting errors +… more
- Chenega Corporation (Quantico, VA)
- …post-award kickoff meetings as applicable, preconstruction conferences, informal or formal partnering meetings, schedule acceptance meetings, design review meetings ... to monitor progress and solicit daily input from the Engineering Technician/Quality Assurance (ET/QA) representatives and CQC reports + Attend QC meetings, including… more