Formal Methods Research Intern

Leidos is seeking a motivated intern to support our work in formal methods research. The position will be based out... application of formal methods analysis techniques and tools. - Integrate and adapt formal methods tools such as theorem provers...