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