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 Position

    Ready to join Leidos? Click the button below to submit your application.

    Submit Application