Software Engineer – Formal Methods

Leidos

full-time

Posted on: 10/21/2025

Location Type: Hybrid

Location: Arlington • California, Virginia • 🇺🇸 United States

✨ AI Apply

💰 $85,150 - $153,925 per year

Mid-LevelSenior

JavaPythonRubyRustScala

About the role

Serve in the role of an individual contributor on contract R&D programs
Support the development, adaptation, and extension of innovative approaches and solutions in automated reasoning applied research
Develop software and test cases as well as the adaptation and extension of formal methods tools such as theorem provers, solvers, model checkers
Engage with customers to develop new business opportunities

BS in Computer Science or closely related area and 4+ years of prior relevant experience or Masters with 2+ years of prior relevant experience
Industrial/academic experience making significant contributions to formal verification
At least 2 years of experience with programming languages such as Java, Scala, C/C++, Ruby, Rust, or Python
At least 3 years of hands-on experience: Applying formal methods, using technologies such as theorem provers for first-order logic and higher-order logic
Must be a U.S. Citizen and have the ability to obtain and maintain a Secret security clearance

Benefits

Tip: use these terms in your resume and cover letter to boost ATS matches.

programming languagesJavaScalaC/C++RubyRustPythonformal methodstheorem proversmodel checkers

BS in Computer ScienceMasters in Computer ScienceSecret security clearance