• Formal Methods Research…

    Leidos (Arlington, VA)
    **Description** Leidos is seeking a motivated intern to support our work in formal methods research . The position will be based out of our Arlington, VA ... candidate will work with other researchers and engineers in research projects focused on developing high-assurance software and systems....of developing test cases that entail the application of formal methods analysis techniques and tools. -… more
    Leidos (11/06/25)
    - Related Jobs

  • Business Analyst Intern

    CARMAX (Richmond, VA)
    …program emphasizes professional growth through diverse experiences, leadership interactions, formal training, and team-building activities. + Interns engage in ... real-world projects, developing skills in analytics, strategy, and communication. + Each intern will be paired with a mentor to guide their development and provide… more
    CARMAX (09/16/25)
    - Related Jobs

  • Director, Command, Control, Communications,…

    Office of the Secretary of Defense (VA)
    …perform and contribute to the organization by providing opportunities to learn through formal and informal methods . Cultivates a dynamic environment in which ... competence and broad background in C4 and/or missile defense enterprise-related research development and acquisition matters, and ability to translate broad national… more
    Office of the Secretary of Defense (11/06/25)
    - Related Jobs

  • Federal Reserve Summer 2026 Technical Internship

    Federal Reserve Bank (Richmond, VA)
    …the opportunity to enhance their business skills through critical financial analysis, formal presentations, research and writing. In addition to specific ... of Richmond and National IT are now hiring for our 2026 Summer Intern Program. The Summer Internship Program provides outstanding students with the opportunity to… more
    Federal Reserve Bank (08/30/25)
    - Related Jobs