- Leidos (Arlington, VA)
- **Description** Leidos Innovations Center is looking for a Software Engineer in formal methods and cyber-physical systems who has experience with integrating ... few days a week for meetings. **Primary Responsibilities:** The Formal Methods Software Engineer will...systems, software correctness + Experience applying the application of formal methods in fundamental research … 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 ... 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
- US Air Force - Agency Wide (Langley AFB, VA)
- …and intelligence related programs and systems. Supports effective research , development, simulation, testing, fielding, employment, sustainment, and improvement ... view occupational requirements for the General Engineer position: https://www.opm.gov/policy-data-oversight/classification-qualifications/general-schedule-qualifications-standards/0800/general-engineering-series-0801/ POSITIVE EDUCATION REQUIREMENT:… more
- ICF (Arlington, VA)
- Description ICF International seeks an experienced Data Mining and Analytics Engineer to support the research and development of new cyber analytic capabilities ... candidate will act as a 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
- 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 (VA)
- Network Engineer IV Multiple Locations, VA Join our Talent Network Network Engineer IV Multiple Locations Are you ready to enhance your skills and build your ... technology capabilities, to ensure functional optimization in their business. TheNetwork Engineer IVwill provide network administration and support services for the… more
- QinetiQ US (Lorton, VA)
- …systems in 50+ locations world-wide. Much of our work contributes to innovative research in the fields of sensor science, signal processing, data fusion, artificial ... QinetiQ US is seeking a highly motivated Senior Mechanical Engineer , who will be responsible for the mechanical design...Facilitate review meetings and present at all levels of formal design review meetings + Perform system level tolerance… 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
- IT Veterans (Alexandria, VA)
- Network Engineer IV Alexandria, VA . Information Technology Apply Now IT Veterans is looking for a Network Engineer IV to support our mission-driven team. This ... and coordinate issue resolution with appropriate teams. + Apply structured methods to gather, analyze, and validate requirements through interviews, document… more