2026 PhD Graduate - Formal Verification and Software Assurance Engineer
Confidential
FULL_TIME
Computer Occupations
Location
Laurel, Maryland, United States
Posted
June 30, 2026
Job Description
Description
Solve problems to improve software assurance using static and dynamic analysis, language safety properties, symbolic execution, abstract interpretation, model checking, and automated and interactive theorem provers to tackle the nation's most pressing cyber security challenges. Explore techniques to support development of zero-defect software and systems. Work on research teams staffed with world-class experts to perform research and development improvi...
Do you have experience conducting formal verification with formal methods for system and software assurance?
Are you passionate about making meaningful contributions that impact national security systems?
Do you work best in an intellectually stimulating, professionally rewarding, and fun environment?
If so, we 're looking for someone like you to join our APL team.
We are seeking a motivated and creative Software Assurance/Formal Methods Developer who will...