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.
Primary 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.
Basic Qualifications
- Pursuing a graduate 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.
- US citizenship.
- Ability to obtain and maintain a DoD security clearance.
Preferred Qualifications
- Hands-on experience working with a formal methods tool
- Demonstrable experience applying formal methods tools and techniques to software projects and/or systems.
Original Posting:March 31, 2025
For U.S. Positions: While subject to change based on business needs, Leidos reasonably anticipates that this job requisition will remain open for at least 3 days with an anticipated close date of no earlier than 3 days after the original posting date as listed above.
Pay Range:Pay Range $55,250.00 - $99,875.00
The Leidos pay range for this job level is a general guideline only and not a guarantee of compensation or salary. Additional factors considered in extending an offer include (but are not limited to) responsibilities of the job, education, experience, knowledge, skills, and abilities, as well as internal equity, alignment with market data, applicable bargaining agreement (if any), or other law.
Similar Jobs
What We Do
We Are Leidos
For 50 years we have been tackling some of the biggest problems that face our nation and our world.
OUR MISSION
Through our culture of innovation and history of performance, we develop deep customer trust built on integrity and create enduring solutions that improve our world. Leidos is a science and technology solutions leader working to address some of the world’s toughest challenges in the defense, intelligence, homeland security, civil, and healthcare markets. The company’s 43,000 employees support vital missions for government and commercial customers. Headquartered in Reston, Va., Leidos reported annual revenues of approximately $11.09 billion for the fiscal year ended January 3, 2020.
Leidos was cited for the meaningful work employees perform that is challenging, impactful, and aligned with our customers’ missions as reasons professionals want to work and stay at our company. Leidos has also been named to lists including Forbes’ Best Employers for Diversity, Forbes’ America’s Best Employers for Women, Military Times Best for Vets Employers, and Ethisphere Institute’s World's Most Ethical Companies®.
Employees enjoy career enrichment opportunities available through mobility and development and experience rewarding relationships with supportive supervisors and talented colleagues and customers. Employees appreciate our flexible work environment, allowing for and encouraging a true work-life balance. Our professionals are also excited about our Employee Resource Groups, like the newly launched Collaborative Outreach with Remote and Embedded Employees (CORE), which strives to create an environment where every employee, regardless of location, feels fully engaged as a valued employee of Leidos.
Your most important work is ahead.
