- 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 (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
- Leidos (Annapolis Junction, MD)
- …the forefront in Security Engineering, Computer Network Operations (CNO), Mission Software , Analytical Methods and Modeling, Signals Intelligence (SIGINT), and ... with Polygraph.** **Preferred Qualifications** + Prior experience as Solution Train Engineer . + Significant technology experience in software development, test,… 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
- Jovian Concepts, Inc. (Annapolis, MD)
- …by law in employment.<\/div><\/div>","faviconId":"rzdliec182fab1ef548499d4ddfcbeeacba4f","jobTitle":"System Engineer Level 2","companyName":"Jovian Concepts, ... \n \n \n Jovian Concepts, Inc is looking to hire a System Engineer Level 2 for a great opportunity in the Annapolis Junction, MD… 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
- 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
- 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 (Annapolis Junction, MD)
- …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
- 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
- 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
- Syms Strategic Group, LLC (SSG) (Annapolis, MD)
- …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
- Leidos (Annapolis Junction, MD)
- …the forefront in Security Engineering, Computer Network Operations (CNO), Mission Software , Analytical Methods and Modeling, Signals Intelligence (SIGINT), and ... a new and exciting opportunity for a **Manual Test Engineer ** in our **National Security Sector's (NSS) Cyber &...formal test events (Acceptance Test, User Acceptance Test, Software Final Release Test, Maintenance Release Test, etc.). +… 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
- Ryder System (Annapolis, MD)
- …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