- 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
- Brookings (Washington, DC)
- …public policy organization based in Washington, DC. Our mission is to conduct in-depth research that leads to new ideas for solving problems facing society at the ... diverse points of view, who provide the highest quality research , policy recommendations, and analysis. Research topics...resolves problems. + As requested, helps manage Talbott Center intern (s) and intern selection process in cooperation… more