- 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 (Annapolis Junction, MD)
- **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 (Annapolis Junction, MD)
- **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
- Themis Insight (Laurel, MD)
- …Civilian and Military expertise to every case. We are hiring a Sr. Systems Engineer ( Software Management) to work in Laurel, MD. Position location is subject ... Position: In this position, you will direct customer/leadership support of software management, Workflow development, and coordinate and produce key documentation.… 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
- 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
- Johns Hopkins Applied Physics Laboratory (Laurel, MD)
- …through "Critical Contributions to Critical Challenges". We are advancing analytic methods and developing integrated software systems empowering informed ... Description Are you a highly motivated, hands-on systems engineer with exceptional technical and leadership skills? Are...adhere to the 5 C's. + Have experience with formal Risk Management. + Have experience with formal… 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
- Ryder System (Washington, DC)
- …continuous improvement methods to support new and existing operations. The Engineer will identify and drive change within the operation through data driven CI, ... across the operation. This position reports to the Lead Engineer , CI Manager or Sr. CI Manager and is...Develop and Demonstrate competency in wide range of engineering methods , Lean tools, and quality standards. Coach employees in… more
- Jovian Concepts, Inc. (Annapolis Junction, MD)
- Jovian Concepts, Inc is looking to hire a System Engineer Level 3 for a great opportunity in the Annapolis Junction area. A current and active TS/SCI Clearance with ... 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
- 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
- Amentum (Linthicum, MD)
- …Security, & Intel space? If so, look no further. Amentum is seeking a **System Engineer 2** to join our team of passionate individuals in Linthicum, MD. In this role ... functional requirements, and allocation of 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
- 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
- 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