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: