Demo

Senior Research Scientist – Formal Methods

Leidos
Arlington, VA Full Time
POSTED ON 2/21/2025
AVAILABLE BEFORE 3/20/2025
Description

Leidos is looking for a senior research scientist in formal methods and cyber-physical systems who has experience in developing state-of-the-art automated reasoning technologies that enable production of high-assurance software and software-intensive systems.

Primary Responsibilities

The senior research scientist will serve in the role of senior of chief scientist on contract R&D programs, engaging or supporting the engagement of customers 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, strong candidates will have successful, proven, and demonstrable experience winning and contributing to proposals and winning competitive CRAD 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

  • B.S degree in Electrical Engineering, Computer Science, Mathematics, or related technical field.; along with 8 or more years experience as a Research Scientist.
  • At least 6 years of industrial/academic experience making significant contributions to formal verification, developing technologies such as program analysis, constraint-solving, symbolic execution, or theorem proving or 4 years of above experience with Ph.D. degree.
  • 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/or 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.
  • 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
  • Experience proposing, winning, and executing work with customers such as DARPA
  • Experience 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 forming strong teams composed of members from academia and industry for competitive CRAD opportunities
  • 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 Date

2025-02-18

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 $104,650.00 - $189,175.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.

Salary : $104,650 - $189,175

If your compensation planning software is too rigid to deploy winning incentive strategies, it’s time to find an adaptable solution. Compensation Planning
Enhance your organization's compensation strategy with salary data sets that HR and team managers can use to pay your staff right. Surveys & Data Sets

What is the career path for a Senior Research Scientist – Formal Methods?

Sign up to receive alerts about other jobs on the Senior Research Scientist – Formal Methods career path by checking the boxes next to the positions that interest you.
Income Estimation: 
$102,775 - $137,396
Income Estimation: 
$153,127 - $203,425
Income Estimation: 
$139,626 - $193,276
Income Estimation: 
$164,650 - $211,440
Income Estimation: 
$130,030 - $173,363
Income Estimation: 
$102,775 - $137,396
Income Estimation: 
$153,127 - $203,425
Income Estimation: 
$139,626 - $193,276
Income Estimation: 
$164,650 - $211,440
Income Estimation: 
$130,030 - $173,363
Income Estimation: 
$130,030 - $173,363
Income Estimation: 
$194,895 - $259,743
Income Estimation: 
$192,057 - $260,440
Income Estimation: 
$249,515 - $311,938
Income Estimation: 
$155,477 - $213,492
Income Estimation: 
$68,606 - $89,684
Income Estimation: 
$88,975 - $120,741
Income Estimation: 
$68,121 - $81,836
Income Estimation: 
$71,928 - $87,026
Income Estimation: 
$125,958 - $157,570
Income Estimation: 
$82,813 - $108,410
Income Estimation: 
$120,989 - $162,093
Income Estimation: 
$74,806 - $91,633
Income Estimation: 
$71,928 - $87,026
Income Estimation: 
$145,337 - $174,569
View Core, Job Family, and Industry Job Skills and Competency Data for more than 15,000 Job Titles Skills Library

Job openings at Leidos

Leidos
Hired Organization Address Washington, DC Full Time
Description OSINT Strategic Communication Support Lead Looking for an opportunity to make an impact? At Leidos , we deli...
Leidos
Hired Organization Address Paducah, KY Full Time
Description Leidos is seeking a Information System Security Officer (ISSO), Industrial Control Systems (ICS) to support ...
Leidos
Hired Organization Address Ridge, TN Full Time
Description Leidos is seeking a customer service-oriented Time & Pay Solutions Specialist to join our Corporate Payroll ...
Leidos
Hired Organization Address Millington, TN Full Time
Description Leidos is seeking an Exchange Systems Administrator SME to support a large enterprise IT contract for the DO...

Not the job you're looking for? Here are some other Senior Research Scientist – Formal Methods jobs in the Arlington, VA area that may be a better fit.

Senior Research Engineer - Formal Methods

Two Six Technologies, Arlington, VA

AI Assistant is available now!

Feel free to start your new journey!