- 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
- 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
- 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
- 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
- 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
- Sciolex Corporation (Chantilly, VA)
- …to ensuring you receive the utmost employee care. Responsibilities As an Agile Management Engineer you will have the opportunity to support a wide variety of program ... CONOPS, requirements, standards, and roadmaps. + Manage risk management processes and methods for identifying and adjudicating program risk; + Conduct analysis to… more
- GovCIO (Washington, DC)
- …description, system planning and design, and ensures requirements comply through formal verification methods . Translates high level product development ... **Overview** GovCIO is currently hiring for a Storage Engineer with an active Secret clearance to support...design concepts. + Installs all new hardware, systems, and software for networks. + Designs, creates, and builds network… 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
- M. C. Dean (Vienna, VA)
- …test procedures, etc., that provides a common reference point for hardware and software developers + Defines the methods , processes, and evaluation criteria by ... functional requirements, and allocation of the same to individual hardware, software , facility, and personnel components + Participates in interface definition,… 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
- 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
- Insight Global (Hillandale, MD)
- Job Description Purpose and Scope: We are seeking a Senior Release Engineer to drive portfolio-level delivery and release strategies, oversee execution across 4+ ... risks and dependencies, and improve operational consistency. The successful Senior Release Engineer will support our work with our client ensuring teams deliver on… more
- UIC Government Services and the Bowhead Family of Companies (Adelphi, MD)
- …Receives initial instructions, equipment requirements, and advice from supervisor or engineer as needed; performs recurring work independently; work is reviewed for ... to plan scope of the project, discuss objectives, plan methods for accomplishing objectives, identify potential problem areas and...complete assignments. + Proficiency in the use of MasterCAM Software . + Experience with CAM software and… more