- 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
- L3Harris (Norfolk, VA)
- …domains in the interest of national security. Job Title: Manufacturing Quality Engineer (Specialist, Quality Engineering) Job Code: 30668 Job Location: Norfolk, VA ... Schedule: (ie 5/40) Job Description: L3 Harris is seeking an experienced Quality Engineer to join its Norfolk, VA location. The Manufacturing Quality Engineer is… 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
- 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
- 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
- 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
- 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 (Richmond, VA)
- …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
- Kiewit (Virginia Beach, VA)
- …Industrial **Employment Type:** Full Time **Position Overview** The Project Engineer will support construction activities by planning, organizing, and implementing ... engineering interface, subcontract and materials management, purchasing, contract administration, formal communications, monthly reporting and scheduling). The role will… 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
- Syms Strategic Group, LLC (SSG) (Newport News, VA)
- …assurance (eg, International Software Testing Qualifications Board (ISTQB), Certified Software Testing Engineer (CSTE), Certified Software Quality ... Syms Strategic Group (SSG) is seeking a talented Software Developer in Test (SDET) Location: Remote Department: Veterans Affairs (VA) Type: Full Time Min.… 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