Description Are you a driven Lead Software Scientist with a clear technical vision and hands-on expertise in mission-critical systems? The Leidos Innovations Center is thrilled to welcome a Senior Software Scientist to spearhead our strategic solution development. This vital role will focus on capturing strategic customer-funded software R&D opportunities. We seek a candidate with a strong background in developing cutting-edge, technology-based solutions that push the limits of innovation. Join us in shaping a groundbreaking research portfolio utilizing both internal and customer funding.
This position can be based out of our San Diego, CA; Arlington, VA; or Dayton, OH offices. While we value collaboration in person, there are opportunities for telework.
Primary Responsibilities - Design innovative solutions to complex challenges for organizations such as the Defense Advanced Research Projects Agency (DARPA) and the U.S. Department of Defense (DoD).
- Engage with R&D customers and partners to identify technical needs and gaps in software solutions for mission-critical systems.
- Lead teams of researchers and engineers in pioneering and enhancing high-assurance software deployment across diverse technical domains, addressing significant national security issues such as software understanding.
- Create novel methods for generating assurance evidence for critical software, scaled effectively.
- Collaborate with multidisciplinary teams to implement AI-driven innovations with measurable impact on missions.
- Stay updated on software technology trends within customer communities and broader R&D environments to discover future R&D funding opportunities.
Basic Qualifications - Demonstrated success in proposing, winning, and executing contracts with agencies such as DARPA or IARPA in the past five years.
- Bachelor's degree in Computer Science, Mathematics, or a related field with 12+ years of relevant experience; Master's degree with 10+ years; or Ph.D. with 8+ years of experience (Ph.D. preferred).
- Experience in advancing formal verification and related technologies like program analysis, constraint-solving, symbolic execution, or theorem proving.
- Proven success in Contract R&D proposal and execution.
- At least 4 years of expertise in programming languages such as Java, Scala, C/C , Ruby, Rust, or Python.
- Experience in software analysis, testing, and software specification.
- Excellent verbal and written communication skills, adept at engaging with senior management and technical teams to present complex software solutions clearly.
- U.S. Citizenship with the ability to obtain and maintain a Secret security clearance is required.
Preferred Qualifications - Ph.D. in Computer Science, Mathematics, or a closely related field.
- Experience in applying formal methods, including the use of theorem provers and automated reasoning tools.
- Background in conducting applied research in areas like autonomous vehicles, smart sensors, or the Internet of Things, integrating data from cyber and physical systems.
- Experience with semantic software analysis.
- Strong customer relationship skills, with a knack for uncovering true technical challenges and shaping future opportunities.
- Experience leading the application of formal methods in complex, uncertain, and evolving domains.
- Able to thrive in a fast-paced environment.
- Exceptional communication skills in conveying technical information clearly and effectively.
- Proven competence in building collaborative teams from academia and industry for R&D opportunities.
- Experience developing software for critical applications requiring certification.
LInC
Original Posting Date: 2025-01-16
This job requisition will remain open for at least 3 days, and the anticipated close date is no earlier than 3 days after the original posting date.
Pay Range: Pay Range $126,100.00 - $227,950.00
The Leidos pay range for this job level is a guideline and not a guarantee of compensation. Factors considered in extending an offer include job responsibilities, education, experience, and skills, as well as internal equity and market data.