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:

• At the direction of the project lead, analyze and assess internal software projects and artifacts as part of developing test cases that entail the application of formal methods analysis techniques and tools with increasing levels of independence over time.

• Integrate and adapt formal methods tools such as theorem provers, solvers, model checkers.

• Develop test case artifacts such as test scripts, scoring code to support the analysis and interpretation of experimental results by senior researchers and decision-makers; implementing and executing the workflows in the context of use cases featuring systems and software.

• Communicate plans and results effectively through written status reports and presentations.

What Sets You Apart:

• Bachelor’s degree with two to four years of experience or a Master’s degree with less than two years’ experience in Electrical Engineering, Computer Science, Mathematics, or a related technical field.

• Has experience with programming languages such as Java, Scala, Go, C/C++, Ruby, OCaml, Rust, or Python.

• Has experience working with Alloy/Electrum, Lean, Z3 SMT solver.

• Coursework in formal methods.

• Must be a US Citizen and be able to obtain a Top Secret security clearance.

You’ll really WOW us having one or more of the following:

• Hands-on experience working with a formal methods tool.

• Demonstrable experience applying formal methods tools and techniques to software projects and/or systems.

• Familiarity with Coq and Dafny preferable but not essential.

LInC

Original Posting Date:

2024-05-17

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.

Pay Range:

Pay Range $65,000.00 - $117,500.00

The 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

REQNUMBER: R-00135416

All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability or veteran status. Leidos will consider qualified applicants with criminal histories for employment in accordance with relevant Laws. Leidos is an equal opportunity employer/disability/vet.