Leidos · 2 months ago
Formal Methods Research Intern
Arlington, VA
Internship
Hybrid
Intern
$47K/yr - $85K/yrLeidos 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.
ComputerGovernmentInformation ServicesInformation TechnologyNational SecuritySoftware
No H1B
U.S. Citizen Only
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
Qualification
Required
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
Preferred
Hands-on experience working with a formal methods tool
Demonstrable experience applying formal methods tools and techniques to software projects and/or systems
Company
Leidos
Leidos is a Fortune 500® innovation company rapidly addressing the world’s most vexing challenges in national security and health.
Founded in 1969
10001+ employees
Funding
Current Stage
Public CompanyTotal Funding
unknown2025-02-20Post Ipo Debt
2013-09-17IPO
Leadership Team
James Carlini
Chief Technology Officer
Theodore Tanner
Chief Technology Officer
Recent News
MarketScreener
2025-12-16
2025-12-16
Company data provided by crunchbase