• Hardware Engineering Intern 3 - 2026 1

    Huntington Ingalls Industries (Roanoke, VA)
    …description languages, embedded instruction architectures, high-level software development languages, formal verification tools, and more. The ideal candidate ... will have experience with object-oriented design and have an understanding of basic logic gates. We are particularly looking for candidates that have experience with FPGA design (Quartus, Vivado, ISE), embedded system design, EDA tools (synthesis, P&R,… more
    Huntington Ingalls Industries (09/04/25)
    - Related Jobs

  • Software Engineer 3

    Huntington Ingalls Industries (Roanoke, VA)
    …description languages, embedded instruction architectures, high-level software development languages, formal verification tools, and more. The ideal candidate ... will have experience with object-oriented design and an understanding of basic logic gates. We are particularly looking for candidates that have experience with FPGA design (Quartus, Vivado, ISE), embedded system design, EDA tools (synthesis, P&R, simulation),… more
    Huntington Ingalls Industries (09/03/25)
    - Related Jobs

  • Software Engineer (SkillBridge Intern)

    Huntington Ingalls Industries (Roanoke, VA)
    …system analysis techniques + Microcontroller and embedded systems exploration + Formal verification tool introduction PHASE 3: INDEPENDENT PROJECT CONTRIBUTION ... (Weeks 9-12) Week 9: Project Assignment + Independent reverse engineering project assignment + Planning and documentation of approach + Initial analysis and tool selection Week 10: Implementation + Code development for assigned project + Test suite creation +… more
    Huntington Ingalls Industries (07/11/25)
    - Related Jobs

  • Senior Software Engineer 4

    Huntington Ingalls Industries (Roanoke, VA)
    …description languages, embedded instruction architectures, high-level software development languages, formal verification tools, and more. The ideal candidate ... will have experience with object-oriented design and an understanding of basic logic gates. We are particularly looking for candidates that have experience with FPGA design (Quartus, Vivado, ISE), embedded system design, EDA tools (synthesis, P&R, simulation),… more
    Huntington Ingalls Industries (07/09/25)
    - Related Jobs

  • Senior Research Engineer, Advanced Technology…

    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
    Lockheed Martin (09/25/25)
    - Related Jobs

  • Senior Plant Controls Engineer- Services

    GE Vernova (VA)
    …and controls. + Demonstrated expertise in energy storage controls, validation and verification , formal methods, systems integration, advanced controls or related ... technologies. + Technical project leadership experience + A proactive approach to learning and staying updated with industry trends, technologies, and best practices in plant control systems. + Can present technical plans in voice of customer. The salary range… more
    GE Vernova (09/27/25)
    - Related Jobs

  • Senior Digital Verification Engineer

    Huntington Ingalls Industries (Roanoke, VA)
    …Job Description Do you enjoy challenging digital design verification problems? HII Mission Technologies is seeking out-of-the-box thinkers ... will help lead teams of digital designers to utilize industry-standard functional verification tools (eg, Questa, VCS, Verdi), logical equivalence tools (eg, OneSpin… more
    Huntington Ingalls Industries (07/09/25)
    - Related Jobs

  • Digital Verification Hardware Engineer 2

    Huntington Ingalls Industries (Roanoke, VA)
    …Job Description Do you enjoy challenging digital design verification problems? HII Mission Technologies is seeking out-of-the-box thinkers ... position will contribute to the team by utilizing industry-standard functional verification tools (eg, Questa, VCS, Verdi), logical equivalence tools (eg, OneSpin… more
    Huntington Ingalls Industries (09/23/25)
    - Related Jobs

  • Geospatial Surveyor

    Arena Technical Resources, LLC (Springfield, VA)
    …Research, develop, automate, and apply photogrammetric techniques to add value to formal intelligence reporting - Support verification and validation (V&V) ... efforts for tools, techniques, processes - Support R&D of solutions for mensuration of imagery captured by commercial drones or similar capabilities. - Document results, create written reports, and photogrammetric related briefings - Participate in Technical… more
    Arena Technical Resources, LLC (09/30/25)
    - Related Jobs

  • Program Analyst Advisor, TS/SCI with Polygraph

    General Dynamics Information Technology (Chantilly, VA)
    …user engagement to perform requirement elicitation and derivation, generation of formal requirement documents, and verification activities to close-out project ... requirements **Desired Skills:** + Expertise in SharePoint use and administration + Verified experience managing project schedules with Microsoft Project + Create quality analytical products to include visualizations, briefs, workflows, diagrams and reports +… more
    General Dynamics Information Technology (09/19/25)
    - Related Jobs