Principal Software Engineer - Formal Methods and Cybersecurity

February 27

Apply Now

Receive Emails with Similar Jobs

Leidos

WebsiteLinkedInAll Job Openings

Leidos is a leading systems integrator in science, technology, and engineering, providing solutions that transform and enable the missions of its customers. The company operates across various markets, including aviation, defense, energy, government, healthcare, intelligence, science, and space. Leidos is involved in AI, digital modernization, cyber operations, and integrated and mission software systems. With a commitment to diversity, equity, inclusion, and sustainability, Leidos also engages in charitable efforts and community enrichment programs. Additionally, it contributes to developing solutions for counter-unmanned aerial systems and electric vehicle infrastructure for military applications.

Defense • Intel • Sensors • Health Systems • Enterprise IT

10,000+ employees

Founded 1969

🔒 Cybersecurity

🔬 Science

📋 Description

• 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 Leidos enterprise • Apply formal methods to specify, verify, and analyze software to ensure correctness and security • Collaborate with cross-functional teams to opportunistically integrate formal verification techniques into the software development lifecycle • Partner with Cyber experts to conduct threat modeling, security assessments, and vulnerability analysis to identify and mitigate risks, and to prove formally the security of delivered software • Develop and maintain documentation for reusable software capabilities including specifications, verification plans, security protocols, and usage and basic training prerequisites • Mentor and provide technical guidance to junior engineers on formal methods and cybersecurity best practices • Stay current with industry trends, emerging technologies, and best practices in formal methods and cybersecurity • Conduct analysis of alternatives and SWOT-style evaluations of emerging and new technologies to quickly identify potential value • Collaborate to help identify, down-select, and vet potential external technologies partners by performing quick-turn proofs of concept and capability integrations

🎯 Requirements

• Master's degree in Computer Science, Software Engineering, or related field and 15+ years relevant experience • Minimum of 8 years of experience in production software delivery • Proven expertise in formal methods, including formal verification, specification, and analysis • Strong understanding of cybersecurity principles, threat modeling, and vulnerability assessment • Proficiency in programming languages such as C, C++, Java, or Python • Experience with formal verification tools and techniques (e.g., model checking, theorem proving) • Excellent problem-solving skills and attention to detail • Strong communication and collaboration skills • Ability to obtain a Secret security clearance • US Citizenship is required for this position

🏖️ Benefits

• competitive compensation • Health and Wellness programs • Income Protection • Paid Leave • Retirement