2024-05-01
AppCast (https://www.appcast.io)
Other
/yr
full-time
employee
Arlington
Virginia
22201
United States
Description
Leidos Innovations Center is looking for a principal research scientist in the areas of formal methods and cyber-physical systems (CPS) who has a proven track record in developing state-of-the-art automated reasoning technologies that enable production of high-assurance software and software-intensive systems.
Primary Responsibilities
The principal research scientist will serve in the role of principal investigator on contract R&D and internal R&D programs, engaging R&D customers and transition partners to develop new business opportunities and leading teams of researchers and engineers in the development, adaptation, and extension of innovative approaches and solutions in automated reasoning applied research. The focus of this research is the generation of assurance evidence for critical software, at scale.
The innovative technical solutions will advance the state of the art while addressing long-term problems of importance to national security. As such, candidates should have successful, proven, and demonstrable experience leading proposals and winning competitive research and development efforts, and then leading high-performing teams in the development and integration of software-based solutions for customers such as DARPA and other branches of the Department of Defense
Basic Qualifications
Preferred Qualifications
LInC
While 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.
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.