Home / Jobs / Formal Methods Engineer

Formal Methods Engineer

Leidos
Full-time United States, United States Engineers
Posted:
February 18, 2026
Location:
United States, United States, United States

Job Description

Are you interested in playing in the gray space of Research and Development and the delivery of secure and scalable production-quality reusable software? If so, we are seeking a highly skilled and experienced Principal Software Engineer with a strong background in production software delivery and formal methods, including formal modeling, verification, specification, and analysis. The ideal candidate will play a critical role in improving the quality, cybersecurity, and resiliency of software delivered into critical mission systems across the Leidos portfolio.

Key Responsibilities:

  • Drive the transition and adoption of cutting-edge software verification technologies into large scale industrial use.
  • Identify opportunities where formal verification can better meet customer needs and develop practical verification approaches.
  • Lead the design, development, and deployment of secure and resilient software systems in a reusable and scalable way for the Le...

    • Apply for this Job

    Submit your application for the Formal Methods Engineer position at Leidos.

    Apply Now Save for Later

    Job Overview

    Job Type: Full-time
    Location: United States, United States
    Posted: February 18, 2026
    Deadline: March 30, 2026