- 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 (Arlington, VA)
- …the development of high-assurance, resilient software . + Utilize the state-of-the-art in semi- formal and formal methods tools in the development of ... **Description** Are you a motivated ** Software Engineer ** with technical, hands-on experience...topics of functional programming, programming language theory, and industrialized formal methods . **Basic Qualifications:** + Bachelor's degree… 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 Area ... much more. **Join us and make a difference in National Security!** The ** Software Engineer ** will perform software development lifecycle (SDLC) activities… 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
- Nightwing (Sterling, VA)
- …such as Test Analyst, Technical Test Analyst, or Test Manager. + Certified Software Test Engineer (CSTE): A professional credential validating expertise in ... and compliance with standards + Develop or specify standards, methods , or procedures to determine product quality or release...software testing principles and practices. + Certified Software Quality Engineer (CSQE): Focuses on … more
- Leidos (Chantilly, VA)
- … reuse and domain analyses and manages their implementation. + Manage software development and support using formal specifications, data flow diagrams, ... **Description** Enterprise **System Engineer ** serve to maintain a strong awareness of...and logic flow charts. Translate detailed design into computer software . + Tests, debugs, and refines the computer … more
- QinetiQ US (Mclean, VA)
- …Position Overview We are seeking an experienced and dynamic Senior Systems Engineer to serve as the Reliability, Maintainability, and Availability (RMA) Engineer ... for the Airspace and Surface Radar Reconnaissance (ASRR) system. The RMA Engineer will be responsible for analyzing subsystem RMA design factors, performing… more
- General Dynamics Information Technology (Falls Church, VA)
- …and customer information assurance and cyber security standards and practices through formal verification methods with specific emphasis on network operations ... 10 + years of related experience **Job Description:** **Security Engineer - Principal** Own your career as a Security...and cyber warfare tactics. * Conducts software and systems engineering and software systems… more
- UIC Government Services and the Bowhead Family of Companies (Dahlgren, VA)
- **Overview** CISCO IDENTITY SERVICES ENGINEER (RDTE) Bowhead is seeking a Cisco Identity Services Engineer (ISE) Administrator to provide Design and Engineering ... + Implement 802.1x solutions to all "supplicant-enabled" devices via AnyConnect software and Network Access Manager (NAM) profiles using EAP-MSCHAPv2/TLS encryption … 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