Principal Software Scientist

Description
Are you a motivated Principal Software 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 Software Scientist to lead our strategic solution development. This role will drive 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. This is an on-site position with some opportunity to telework.

Primary Responsibilities

• Develop innovative solutions to challenging problems of interest to the Defense Applied Research Projects Agency (DARPA) and U.S. Department of Defense (DoD).

• Engaging R&D customers and transition partners to understand technical gaps and needs for software solutions in mission critical systems.

• Leading teams of researchers and engineers in the development, adaptation, and extension of innovative approaches to high assurance software deployment across a range of technical areas and application domains to advance the state of the art while addressing long-term problems of importance to national security such as software understanding.

• Develop novel approaches for the generation of assurance evidence for critical software, at scale

• Collaborate in cross-discipline teams to deliver AI-driven innovations that provide measurable mission impact.

• To ensure technical relevancy, they will track software technology trends in the customer community and broader R&D communities as well as identify future software R&D funding opportunities.

Basic Qualifications

• 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 and 12+ years prior relevant experience, M.S degree with 10+ years of prior relevant experience, or Ph.D. with 8+ years of experience (Ph.D. preferred)

• Industrial or academic experience advancing the state of the art in formal verification, developing technologies such as program analysis, constraint-solving, symbolic execution, or theorem proving

• Proven track record in proposing, winning, and executing Contract R&D

• At least 4 years of experience with programming languages such as Java, Scala, C/C++, Ruby, Rust, or Python

• Experience with test and evaluation, software analysis and software specification

• Strong verbal and written communication skills, with experience engaging with senior leadership and technical teams as well as ability to present complex software solutions in a clear, understandable manner

• Qualified candidates must be a U.S. Citizen and have the ability to obtain and maintain a Secret security clearance.

Preferred Qualifications

• Ph.D. in Computer Science, Mathematics, or related degree

• Applying formal methods, using technologies such as theorem provers for first-order logic and higher-order logic, proof assistants, solvers, or other automated reasoning tools

• Experience conducting applied research areas of CPS such as autonomous vehicles, smart sensors, or Internet of Things, fusing data collected from cyber and physical systems to develop novel approaches to address emerging technical challenges in domains relevant to U.S. national security

• Experience in semantic analysis of software

• Strong and proven customer relationship skills including the ability to discover the true technical challenges and requirements associated with opportunities, recommending alternative technical approaches, and shaping future opportunities

• Experience applying and leading the application of formal methods in fundamental research contexts, to problems in complex domains, under conditions of uncertainty, and dynamic and evolving technical challenges

• Ability to work in a fast-paced environment

• Excellent written and oral skills in communicating technical information with an ability to present complex technical information clearly and coherently

• Proven experience forming strong teams composed of members from academia and industry for competitive research and development opportunities

• Experience developing software for critical applications that require software certification

LInC
Original Posting Date: 2025-01-16While subject to change based on business needs, Leidos reasonably anticipates that this job requisition will remain open for at least 3 days with an anticipated close date of no earlier than 3 days after the original posting date as listed above.

Pay Range: Pay Range $126,100.00 - $227,950.00
The Leidos pay range for this job level is a general guideline only and not a guarantee of compensation or salary. Additional factors considered in extending an offer include (but are not limited to) responsibilities of the job, education, experience, knowledge, skills, and abilities, as well as internal equity, alignment with market data, applicable bargaining agreement (if any), or other law.
About Leidos Leidos is a Fortune 500 innovation company rapidly addressing the world's most vexing challenges in national security and health. The company's global workforce of 47,000 collaborates to create smarter technology solutions for customers in heavily regulated industries. Headquartered in Reston, Virginia, Leidos reported annual revenues of approximately $15.4 billion for the fiscal year ended December 29, 2023. For more information, visit www.Leidos.com .
Pay and Benefits Pay and benefits are fundamental to any career decision. That's why we craft compensation packages that reflect the importance of the work we do for our customers. Employment benefits include competitive compensation, Health and Wellness programs, Income Protection, Paid Leave and Retirement. More details are available here .
Securing Your Data Beware of fake employment opportunities using Leidos' name. Leidos will never ask you to provide payment-related information during any part of the employment application process (i.e., ask you for money), nor will Leidos ever advance money as part of the hiring process (i.e., send you a check or money order before doing any work). Further, Leidos will only communicate with you through emails that are generated by the Leidos.com automated system - never from free commercial services (e.g., Gmail, Yahoo, Hotmail) or via WhatsApp, Telegram, etc. If you received an email purporting to be from Leidos that asks for payment-related information or any other person a l information (e.g., about you or your previous employer), and you are concerned about its legitimacy, please make us aware immediately by emailing us at [email protected] .
If you believe you are the victim of a scam, contact your local law enforcement and report the incident to the U.S. Federal Trade Commission .
Commitment to Diversity All qualified applicants will receive consideration for employment without regard to sex, race, ethnicity, age, national origin, citizenship, religion, physical or mental disability, medical condition, genetic information, pregnancy, family structure, marital status, ancestry, domestic partner status, sexual orientation, gender identity or expression, veteran or military status, or any other basis prohibited by law. Leidos will also consider for employment qualified applicants with criminal histories consistent with relevant laws.