Formal Methods Research Intern

Leidos is seeking a motivated intern to support their work in formal methods research. The intern will work with researchers and engineers on projects focused on developing high-assurance software and systems, including adapting automated reasoning technologies and developing test cases. Responsibilities At the direction of the project lead, analyze and assess internal software projects and artifacts as part of developing test cases that entail the application of formal methods analysis techniques and tools Integrate and adapt formal methods tools such as theorem provers, solvers, model checkers Develop test case artifacts such as test scripts, scoring code to support the analysis and interpretation of experimental results by senior researchers and decision-makers Communicate plans and results effectively through written status reports and presentations Skills Pursuing a Degree in Electrical Engineering, Computer Science, Mathematics, or a related technical field Has experience with programming languages such as Java, Scala, C/C++, Ruby, Rust, or Python Coursework in formal methods Ability to obtain and maintain a DoD security clearance US citizenship required Hands-on experience working with a formal methods tool Demonstrable experience applying formal methods tools and techniques to software projects and/or systems Company Overview Leidos is a Fortune 500® innovation company rapidly addressing the world’s most vexing challenges in national security and health. It was founded in 1969, and is headquartered in Reston, Virginia, USA, with a workforce of 10001+ employees. Its website is