- Washington Metropolitan Area Transit Authority (Alexandria, VA)
- …and documenting the entire system. Through penetration testing, or ethical hacking, the engineer is required to conduct formal tests on web-based applications, ... Cybersecurity Engineer Lead Job ID: 250995 Location: VA -...**Education** + A Bachelor?s degree in Computer Engineering, Cybersecurity, Software Engineering, Electrical Engineering, Engineering Management or a similar… more
- 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 (Alexandria, VA)
- **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
- 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
- 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
- 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
- Syms Strategic Group, LLC (SSG) (Silver Spring, 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 (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
