Research Scientist - Formal Methods

Leidos • Arlington, VA • 14h ago

Description

Leidos is looking for a Research Scientist in Formal Methods and cyber-physical systems who has experience in conducting research and developing proof of concept, state-of-the-art automated reasoning technologies that enable production of high-assurance software and software-intensive systems.

Primary Responsibilities:

The research scientist will serve in the role of individual contributor on contract R&D programs working at the direction of the principal investigator or task lead, supporting customers to develop new business opportunities and be part of 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, strong candidates will have demonstrable experience and then being a part of 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:

B.S degree in Electrical Engineering, Computer Science, Mathematics, or related technical field 6+ years of prior relevant experience, or Masters with 4+ years of prior relevant experience; or a Ph.D.

At least 4 years of industrial/academic experience making significant contributions to formal verification, developing technologies such as program analysis, constraint-solving, symbolic execution, or theorem proving

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

At least 3 years of hands-on experience: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 and/orconducting 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.

Must be a U.S. Citizen and have the ability to obtain and maintain a Top Secret security clearance.

Preferred Qualifications:

Ph.D. or M.S. in Electrical Engineering, Computer Science, Mathematics, or in areas related to low-level systems, software correctness

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

Demonstrable experience extending formal methods tools for new 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

DoD Secret Clearance with potential eligibility for Top Secret, or the ability to obtain a clearance.

Original Posting:

May 5, 2025

For U.S. Positions: 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 $85,150.00 - $153,925.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.

REQNUMBER: R-00158663

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.

Hospital & Medical

Details Department: Primary Care Schedule: Daytime Hours Facility: Ascension Providence Hospital Location: Washington, DC Salary: $20.63 - $27.64 per hour Benefits Paid time off (PTO) Various health insurance options &am...

13h ago

Go to Apply

Subscribe to get new jobs sent directly to you
(no charge, cancel anytime)

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.