- 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
- Arena Technical Resources, LLC (Springfield, VA)
- …have a strong background in statistical analysis, applying photogrammetrically sound mathematical methods or utilizing R for evaluating both new and existing sensor ... technologies. Responsibilities: - Research , develop, evaluate, and recommend NextGen photogrammetric processing tools for National Defense/Intelligence Community… more