- Washington Metropolitan Area Transit Authority (Alexandria, 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 Lead Job ID: 250995 Location: VA -...**Education** + A Bachelor?s degree in Computer Engineering, Cybersecurity, Software Engineering, Electrical Engineering, Engineering Management or a similar… more
- Leidos (Arlington, VA)
- …Diego, CA or Arlington, VA a few days a week for meetings. **Primary Responsibilities:** The Formal Methods Software Engineer will serve in the role of ... **Description** Leidos Innovations Center is looking for a Software Engineer in formal methods and cyber-physical systems who has experience with… more
- Leidos (Alexandria, VA)
- **Description** **Leidos** has a new and exciting opportunity for a ** Software Engineer ** in our **National Security Sector's (NSS) Cyber & Analytics Business ... more. **Join us and make a difference in National Security!** **Job Summary** The Software Engineer will perform software development activities as a member… 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 that ... candidate will act as a Data Mining and Analytics Engineer to support a large federal cyber security analytic...analytic environment and be responsible for ad hoc and formal end-user training + Identify applicable data to perform… more
- QinetiQ US (Lorton, VA)
- …lives. Position Overview QinetiQ US is seeking a highly motivated Senior Mechanical Engineer , who will be responsible for the mechanical design and development of ... Facilitate review meetings and present at all levels of formal design review meetings + Perform system level tolerance...production + Must be proficient using 3-D Solid Modeling software (PTC CREO and/or Solidworks preferred) + Knowledge of… 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 Senior Network Engineer to help support our Defense Logistics Agency (DLA IOEE/IOSEE) program in… more
- IBM (Washington, DC)
- …Ensures requirements comply with client requirements and government standards through formal verification methods . Translates high level product development ... partner ecosystem and our robust technology platforms across the IBM portfolio; including Software and Red Hat. Curiosity and a constant quest for knowledge serve as… 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 and… 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 ... networks, game theory, causal fusion, neuro\-symbolic reasoning, GenAI \) \- Formal methods for assurance, optimization, and verification/validation \(e\.g\., … more
- American Water (Alexandria, VA)
- …Performs upgrades, add new facilities, and provide replacement of hardware and software . * Troubleshoots and resolve control system issues. * Investigates new ... Control policies and procedures. * Makes recommendations to change standards and methods to improve processes and results. * Provides supervision and/or support for… more
- Chenega Corporation (Quantico, VA)
- …post-award kickoff meetings as applicable, preconstruction conferences, informal or formal partnering meetings, schedule acceptance meetings, design review meetings ... as a Construction Manager + Thorough knowledge of construction practices and methods , as well as construction management. + Secret clearance required **Knowledge,… more
- Chenega Corporation (Washington, DC)
- …post-award kickoff meetings as applicable, preconstruction conferences, informal or formal partnering meetings, schedule acceptance meetings, design review meetings ... as a Construction Manager + Thorough knowledge of construction practices and methods , as well as construction management. + Secret clearance required (Top Secret… more
- Ryder System (Washington, DC)
- …CAD (e.gAutoCAD); slotting (e.gSlot3D); Predetermined Motion and Time Systems and methods (e.gMOST); simulation software and application; Warehouse Management ... pain-points developing and presenting solutions + Implementation follow-up, which requires engineer to validate and modify deployed process to ensure that it… more
