Leidos is seeking a motivatedâ intern to support our work in formal methods research. The position will be based out of our Arlington, VA office, which is within walking distance of the Ballston Metro stop. However, this position is available as remote work or onsite. This candidate will work with other researchers and engineers in research projects focused on developing high-assurance software and systems. Tasks involved in this research include adapting and extending automated reasoning technologies to provide assurances of correct behavior at-scale. The candidate must be intellectually adaptive, inquisitive, communicative, a self-starter and problem-solver, and self-managed when necessary. The intern will be responsible for developing, defending, executing and presenting the results of a research plan.