Description
Looking for an opportunity to make an impact?
The Leidos Innovation Center (LInC) Intelligent Sensors Branch is searching for a research scientist to support a variety of customer and internal R&D projects focused on technical challenges and novel capabilities in the area of formal methods. This role will contribute to research projects in formal methods, proof engineering, theorem proving, formalized mathematics, gaining hands-on experience developing and applying novel capabilities to address emerging, state-of-the-art technical challenges for software, embedded systems, and cyber-physical systems.
Looking for an opportunity to make an impact?
The Research Scientist will work with other researchers and engineers in research projects focused on developing high-assurance software and software-intensive systems, at scale. Tasks involved in this research include the development of test cases involving software projects (both internal and open-source) and the adaptation and extension of automated reasoning technologies as the means for producing assurance evidence. The candidate must be intellectually adaptive, inquisitive, communicative, a self-starter and problem-solver, and self-managed when necessary. The intern will also perform statistically analysis of the research to include visual and graphical presentation of results for decision-makers.
The Challenge:
What Sets You Apart:
You'll really WOW us having one or more of the following:
LInC
Original Posting Date:2024-05-17While 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 $65,000.00 - $117,500.00The Leidos pay range for this job level is a general guideline onlyand 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.
#Remote