- 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
- 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
- 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
- General Dynamics Information Technology (Falls Church, VA)
- …and customer information assurance and cyber security standards and practices through formal verification methods with specific emphasis on network operations ... 10 + years of related experience **Job Description:** **Security Engineer - Principal** Own your career as a Security...and cyber warfare tactics. * Conducts software and systems engineering and software systems… 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
- 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
- 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
- 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
- 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
- Oshkosh Corporation (Frederick, MD)
- …and accessories-can be found all over the world.** The Sr Principal Engineer -Autonomy & Active Safety will lead engineering support efforts for autonomy development, ... working on a common project. + Perform and check complex software development, architecture design, engineering calculations, investigations, and tasks as assigned… 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
- 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
- Northrop Grumman (Dulles, VA)
- …IA systems or autonomy in aerospace or defense domains + Familiarity with formal methods , runtime assurance architectures, or explainable AI techniques + Failure ... not only part of history, they're making history. Northrop Grumman is seeking an engineer or researcher to lead the development of a safety framework for AI-driven… more