- 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
- 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
- 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
- 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
- IBM (Ashburn, VA)
- …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 ... networks, game theory, causal fusion, neuro\-symbolic reasoning, GenAI \) \- Formal methods for assurance, optimization, and verification/validation \(e\.g\., … more
- Oshkosh Corporation (Frederick, MD)
- …vehicles and accessories-can be found all over the world.** The Principal Engineer -Autonomy & Active Safety will provide lead engineering support efforts for active ... responsible for managing multiple priorities. + Performs more complex software development, architecture design, engineering calculations, investigations, and tasks… 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 (Kearneysville, WV)
- …description, system planning and design, and ensures requirements comply through formal verification methods . Translates high level product development ... **Overview** GovCIO is currently hiring a Journeyman Computer Systems Engineer /Architect to support our newly awarded United States Coast Guard (USCG) Maverick… more
- Oshkosh Corporation (Hagerstown, MD)
- …utility vehicles and accessories-can be found all over the world.** The Sr. Engineer - Controls works within engineering groups to support the development and ... Support more senior engineers in the preparation of plans, designs, computation methods , and/or reporting. + Responsible for smaller projects or sub-systems of… 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
- 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
- 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
- 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