Principal Resilient Systems Scientist - 00100 LEIDOS : Job Details

Are you a motivated Principal Resilient Systems Scientist with a technical vision and hands-on knowledge of mission-focused systems? The Leidos Innovations Center's newly established Information and Data Science Division is seeking a Senior Resilient Systems Scientist to help lead strategic solution developments and projects. This role will drive the capture of strategic customer-funded software R&D. The ideal candidate will have a proven track record in developing technology-based approaches that yield novel, innovative capabilities while advancing the state of the art. We are looking for a proven researcher who can develop and lead a groundbreaking research portfolio using both internal and customer funding.

The ideal candidate will be able to work out of our San Diego, CA; Arlington, VA or Dayton, OH offices.

• Proven track record in proposing, winning, and executing work with customers such as DARPA, IARPA or similar agencies within the last 5 years.
• Bachelor's degree in Computer Science, Mathematics, or a related field with 12+ years of relevant experience; M.S. with 10+ years; Ph.D. with 8+ years (Ph.D. preferred).
• Experience in FPGA development, embedded systems, formal verification, program analysis, constraint-solving, symbolic execution, or theorem proving.
• Proven success in proposing, winning, and executing Contract R&D.
• At least 4 years of programming experience in languages such as Java, Scala, C / C++, Ruby, Rust, or Python.
• Experience with software analysis, testing, and specification.
• Strong communication skills, with experience engaging with senior leadership and technical teams, and presenting complex solutions clearly.
• Must possess a Secret clearance and the ability to obtain Top Secret clearance.

• Ph.D. in Computer Science, Mathematics, or related field.
• Experience with FPGA development, embedded systems, formal methods, theorem provers, or automated reasoning tools.
• Research experience in CPS domains like autonomous vehicles, smart sensors, or IoT, especially in data fusion from cyber and physical systems.
• Experience in semantic analysis of software.
• Strong customer relationship skills, including technical challenge discovery and opportunity shaping.
• Experience applying formal methods in complex, uncertain, and evolving technical domains.
• Ability to work in a fast-paced environment.
• Excellent communication skills, both written and oral.
• Proven ability to form strong, multidisciplinary teams for research and development.
• Experience developing software for critical applications requiring certification.

Original Posting: June 20, 2025

For U.S. Positions: This job is expected to remain open for at least 3 days from the posting date.

Pay Range: $126,100.00 - $227,950.00

Note: The salary range is a guideline and not a guarantee. Factors such as responsibilities, education, experience, and market data influence the actual offer.