- Lockheed Martin (Arlington, VA)
- …areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous ... Electrical Engineering, or related areas with strong mathematical background * Conducted research primarily in neuro\-symbolic AI, combining methods such as… more
- Lockheed Martin (Arlington, VA)
- …areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous ... networks, game theory, causal fusion, neuro\-symbolic reasoning, GenAI \) \- Formal methods for assurance, optimization, and verification/validation \(e\.g\., … more
- Washington Metropolitan Area Transit Authority (VA)
- …and documenting the entire system. Through penetration testing, or ethical hacking, the engineer is required to conduct formal tests on web-based applications, ... Cybersecurity Engineer III Job ID: 250682 Location: VA -...senior level software and systems engineering and software systems research to develop new capabilities, ensuring cybersecurity is fully… more
- ICF (Arlington, VA)
- Description ICF International seeks an experienced Senior Data Mining and Analytics Engineer to support the research and development of new cyber analytic ... will act as a Senior Data Mining and Analytics Engineer to support a large federal cyber security analytic...this project. You will work closely with the Analytics Research team to identify platform enhancements that support the… more
- General Dynamics Information Technology (Springfield, VA)
- …developing product evaluation and selection criteria.** **Developing system evaluations methods and procedures.** **Producing formal documentation of ... Citizenship Required:** Yes **Job Description:** **GDIT is seeking a Cloud Network Engineer to help support our Defense Logistics Agency (DLA IOEE/IOSEE) program in… more
- Nightwing (Sterling, VA)
- …cyber space operations, cyber defense and resiliency, vulnerability research , ubiquitous technical surveillance, data intelligence, lifecycle mission enablement, ... intelligence community, defense, civil, and commercial markets. Job Title: Test Engineer Location: Sterling, VA Clearance: TS/SCI Poly **This position is CONTINGENT… more
- Chenega Corporation (Corbin, VA)
- Network Engineer III Corbin, VA Join our Talent Network Network Engineer III Corbin, VA Are you ready to enhance your skills and build your career in a rapidly ... technology capabilities, to ensure functional optimization in their business. TheNetwork Engineer IIIwill provide network administration and support services for the… more
- Leidos (Arlington, VA)
- …+ Experience with developing secure, resilient solutions + Experience with formal methods + Experience with developing/integrating/testing embedded applications ... **Description** Are you a motivated **Cyber Software Engineer ** with technical hands-on knowledge of mission focused...variety of exciting R&D programs. As a **Cyber Software Engineer ** , you will design and implement sophisticated low-level… more
- IronMountain Solutions, Inc. (Falls Church, VA)
- 501179 Senior T&E SETA Engineer Work Location: Falls Church, Virginia Schedule: Full Time Relocation: Negotiable IMS is seeking a lead Senior T&E SETA Engineer ... engineering support to the official Under Secretary of Defense for Research and Engineering (OUSD(R&E) and Engineering Prototyping and Experimentation Mission… more
- Northrop Grumman (Dulles, VA)
- …IA systems or autonomy in aerospace or defense domains + Familiarity with formal methods , runtime assurance architectures, or explainable AI techniques + Failure ... history, they're making history. Northrop Grumman is seeking an engineer or researcher to lead the development of a...will support National Security Space (NSS) Programs and Internal Research & Development (IRAD) projects in the Tactical Space… more