2026 PhD Graduate - Formal Verification and Software Assurance Engineer

About the role

We are seeking a motivated and creative Software Assurance/Formal Methods Developer who will 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.

Responsibilities

• 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 improving the state-of-the-art in software assurance theory and practice.
• Collaborate with engineers and scientists who are passionate about innovation and are driven to make a real difference in defending our nation.
• Participate in research projects that create and apply formal methods tools and techniques to real-world problems.
• Devise and develop algorithms, techniques, and new tools that implement and test your ideas for improving critical systems and more reliable reasoning under uncertainty.
• Analyze data and results related to system development. Show the benefits of using formal methods in system development as well as the positive effects of using analysis tools.
• Share knowledge by clearly articulating ideas through papers and presentations to technical staff, management and Government decision makers.
• Take advantage of opportunities to participate in working groups, sponsor meetings, proposal writing, and conferences.

Qualifications

• Have a PhD in Computer Science, Computer Engineering, Electrical Engineering, Applied Math, or a related field.
• Internship experience or a combination of graduate research and experience with formal methods, software assurance, or related areas.
• Understanding or experience with formal methods tools and techniques, such as language safety properties, symbolic execution, abstract interpretation, model checking, automated and interactive theorem proving, programming language analysis and design, type theory, static source code analysis, and formal logic.
• Ability to understand code in a variety of programming languages, and be able to develop software to demonstrate new analysis capabilities.
• Interest in local limited travel, which may be required.
• Able to obtain an Interim Top Secret level security clearance by your start date and can ultimately obtain Top Secret level clearance.
• If selected, you will be subject to a government security clearance investigation and must meet the requirements for access to classified information.
• Eligibility requirements include U.S. citizenship.

Benefits

Join an environment that promotes professional growth, a balanced life, and encourages technical development. Opportunities to participate in fun, social activities like our weekly game nights and yearly summer cookout!