- 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
- 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