- 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
- 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
- Synergy ECP (Columbia, MD)
- Systems Engineer 2 Columbia, MD (http://maps.google.com/maps?q=Columbia+MD+USA+21046) Job Type Full-time Description Systems Engineer Level 2 Analyzes user's ... Government overseers, and senior executives. Requirements The Level 2 System Engineer (SE) shall possess the following capabilities: + Manage system requirements… more
- Amentum (Annapolis Junction, MD)
- …is contingent upon contract award** Amentum is seeking a cleared **Systems Engineer ** to support an upcoming opportunity in **Annapolis Junction, MD** . **Essential ... functional requirements, and allocation of the same to individual hardware, software , facility, and personnel components + Coordinate the resolution of action… 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
- Amentum (Annapolis Junction, MD)
- …is contingent upon contract award** Amentum is seeking a cleared **Systems Engineer ** to support an upcoming opportunity in **Annapolis Junction, MD** . **Essential ... functional requirements, and allocation of the same to individual hardware, software , facility, and personnel components + Coordinate the resolution of action… more
- SAIC (Chantilly, VA)
- …viability.** + **Experience with agile methods (Scrum, SAFe) in a software development environment or formal agile training.** **Ability to apply ... **Description** SAIC is seeking an **Agile Systems Engineer ** to support SAIC's Prime Program, Landmark AOS...the Integrated Master Schedule (IMS) in support of agile software acquisition activities. + Interact with Government project management… 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
- Shuvel Digital (Ashburn, VA)
- …data-driven decision making in response to national security threats. Senior Cloud Engineer will: 1) support the development of enterprise applications; 2) design ... six months of joining the project, the Senior Cloud Engineer will be expected to: + Lead and perform...targeting end user (officer) operation. + Actively participate in formal and informal design reviews, solution sessions, and project… 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
- ARSIEM (Annapolis Junction, MD)
- …to have an impact on every client you work with. ARSIEM seeks a System Engineer 2 . This position will support one of our government clients in Annapolis Junction, ... and functional requirements and allocating the same to individual hardware, software , facility, and personnel components. + Coordinate the resolution of action… more
- Kaizen Approach, Inc (Annapolis Junction, MD)
- Kaizen Approach is currently looking to hire a System Engineer (SE) to analyze user requirements, concept of operations documents, and high-level system ... Documents, Requirements Specifications, and Interface Control Documents, while defining methods for verifying system compliance with requirements and assessing risks… 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 a Senior Computer Systems Engineer /Architectto support ourwith our US Coast Guard program. This position will be located… more
- Acclaim Technical Services (Reston, VA)
- …ensure requirements comply with client requirements and government standards through formal verification methods . They translate high level product development ... continues to grow. We are actively hiring a Systems Engineer with TS/SCI clearance and polygraph supporting a new...They participate in design reviews of components (hardware and software ) to ensure applicability to the current system and… 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
- CACI International (Sterling, VA)
- …* CACI is currently looking for a motivated, career and customer-oriented Sr. Software Engineer /Developer with Agile methodology experience to join our Customs ... crucial. **What you'll get to do:** As a Sr. Software Engineer /Developer working for the CBP ITI2.1...verbal and written communication skills + Experience working within formal lifecycle frameworks where formal customer approval… more