- 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
- Government Accountability Office (Washington, DC)
- …officials, team members, internal stakeholders, and congressional staff, during formal and informal presentations, meetings, and/or interviews; Collaborating with ... science, engineering, information science, information systems management, mathematics, operations research , statistics, or technology management; Have a Bachelor's degree… more