Launch Your Career in Formal Methods Research at Leidos

Leidos is seeking a motivated Formal Methods Research Intern to join our innovative team in Arlington, VA—walking distance from the Ballston Metro stop. This role offers flexible remote or onsite options, perfect for driven students ready to tackle high-assurance software challenges.

Primary Responsibilities

• Under project lead direction, analyze internal software projects and artifacts to develop test cases using formal methods techniques and tools.
• Integrate and adapt advanced formal methods tools, including theorem provers, solvers, and model checkers.
• Create test case artifacts like scripts and scoring code to aid senior researchers in result analysis.
• Effectively communicate research plans, progress, and findings through written status reports and presentations.
• Develop, defend, execute, and present results of a personalized research plan as a self-starter.

Basic Qualifications

• Pursuing a degree in Electrical Engineering, Computer Science, Mathematics, or related technical field.
• Experience with programming languages such as Java, Scala, C/C++, Ruby, Rust, or Python.
• Coursework in formal methods.
• US citizenship required with ability to obtain and maintain DoD security clearance.

Preferred Qualifications

• Hands-on experience with formal methods tools.
• Demonstrable experience applying formal methods to software projects or systems.

Why Leidos?

We're not for the complacent. At Leidos, we outthink, outbuild, and outpace the status quo. Join a team that disrupts, provokes, and refuses to fail—working on mission-critical projects that demand excellence. Pay range: $48,100 - $86,950 (actual offer based on experience, education, and other factors). Original posting: November 5, 2025. US positions remain open at least 3 days.

Intellectually adaptive, inquisitive, communicative self-starters: apply now to shape the future of secure systems.