To our valued Leidos candidates:

Coronavirus is on everyone's mind with the effects being felt around the world. The markets are volatile, and we're all concerned for the health and safety of our families, friends, and colleagues. Please know that we're taking all necessary measures to safeguard our employees, customers and the communities in which we live, including following all recommended best practices around social distancing.

With that in mind, in an abundance of caution, we are canceling all face to face career events, such as job fairs and open house events. In the coming days and weeks, we will be hosting career events virtually, using our online chat tools so that we may continue our hiring practice safely and securely. You can find available virtual career events at

We are using telephone meetings and online chats via Brazen to conduct interviews and hiring discussions, and we are offering options for video interviews so that you can have a virtual face to face meeting with your potential new leader. We do not conduct interviews or extend offers via text or chat based social media, such as WhatsApp or MySpace.

Leidos will never ask you to provide payment-related information at any part of the employment application process, nor will Leidos ever advance money as part of the hiring process. And Leidos will communicate with you only through emails that are generated by automated system. If you receive an email purporting to be from Leidos that asks for payment-related information or any other personal information, please report the email to Chris Scalia, Leidos’ Senior Vice President of Talent Acquisition, at [email protected].

As a company, as a country, as a world, we have confronted challenging moments before. We are confident that, guided by our values and the strength of our community as well as the commitment we have to the important work we do each day, we will find our way through this time together. We will do this with the care and concern for one another and the common good that defines. Please keep those impacted by the virus in your thoughts.

Close Window
Join our talent network
Skip to main content

Job #: R-00086603
Location: Arlington, VA
Category: Research Scientist
Schedule (FT/PT): Full Time
Travel Required: Yes, 10% of the time
Shift: Day
Clearance: Secret
Referral Eligibility: Ineligible
Group: Leidos Innovations Center (LInC)

This job posting is no longer active.

Share: mail twitter linkedin


Job Description:

Are you ready to join Leidos all-star team? Through training, teamwork, and exposure to challenging technical work, let Leidos show how to accelerate your career path.

The Leidos Innovation Center (LInC) Advanced Analytics team has an opening for someone like you, a Research Scientist with experience designing, developing, implementing, and transitioning high-assurance software and software-intensive systems using formal analysis techniques to work in our Arlington, VA office. You have proven research qualifications and demonstrable experience developing solutions for a range of customers but focusing on those in the contract research and development space. Your specialty is in formal methods with a proven track record in developing state-of-the-art automated reasoning technologies that enable production of high-assurance software and software-intensive systems.

As our principal research scientist, you 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 developing, adapting, extending, and supporting the transition of innovative approaches and solutions in high-assurance software and software-intensive systems. A 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, you need 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. 

Fun challenges you will work on:
•    Independently influence the development of approaches and solutions that address highly-complex research challenges as well as partner in a team environment across organizations. 
•    Independently design and undertake new applications of research in formal methods as well as partner in a team environment across organizations. 
•    Develop topics for novel and innovative R&D approaches to solving challenges in the area of high-assurance software and work with potential sponsors (customers or internal champions) to secure funding for new research efforts based on those topics.
•    Lead teams of fellow researchers, data scientists, data engineers, and software engineers to execute complex R&D programs.

This is you:
•    M.S degree in Electrical Engineering, Computer Science, Mathematics, or related technical field with at least 10 years of industrial/academic experience advancing the state of the art in formal verification, developing technologies such as program analysis, constraint-solving, symbolic execution, or theorem proving or 12 years with a Bachelor's degree
•    Must have a Secret security clearance with the ability to obtain and maintain a Top Secret security clearance
•    At least 4 years of experience with programming languages such as Java, Scala, C/C++, Ruby, Rust, or Python 
•    At least 5 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
•    Strong and proven 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 

You will wow us even more if you have these skills:
•    Ph.D. in Electrical Engineering, Computer Science, Mathematics, or in areas related to low-level systems, software correctness 
•    Track record of extending formal methods tools for new challenges 
•    Experience applying and leading the application of formal methods in fundamental research contexts, to problems in complex domains, under conditions of uncertainty, and dynamic and evolving technical challenges 
•    Proven track record in proposing, winning, and executing work with customers such as DARPA 
•    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 
•    Proven experience forming strong teams composed of members from academia and industry for competitive research and development opportunities
•    Current Top Secret security clearance


Pay Range:

Pay Range $113,100.00 - $174,000.00 - $234,900.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.

About Leidos

Leidos is a Fortune 500® technology, engineering, and science solutions and services leader working to solve the world’s toughest challenges in the defense, intelligence, civil, and health markets. The company’s 46,000 employees support vital missions for government and commercial customers. Headquartered in Reston, Virginia, Leidos reported annual revenues of approximately $14.4 billion for the fiscal year ended December 30, 2022.  For more information, visit

Pay and Benefits

Pay and benefits are fundamental to any career decision. That's why we craft compensation packages that reflect the importance of the work we do for our customers. Employment benefits include competitive compensation, Health and Wellness programs, Income Protection, Paid Leave and Retirement. More details are available here.

Securing Your Data

Beware of fake employment opportunities using Leidos’ name. Leidos will never ask you to provide payment-related information during any part of the employment application process (i.e., ask you for money), nor will Leidos ever advance money as part of the hiring process (i.e., send you a check or money order before doing any work). Further, Leidos will only communicate with you through emails that are generated by the automated system – never from free commercial services (e.g., Gmail, Yahoo, Hotmail) or via WhatsApp, Telegram, etc. If you received an email purporting to be from Leidos that asks for payment-related information or any other personal information (e.g., about you or your previous employer), and you are concerned about its legitimacy, please make us aware immediately by emailing us at [email protected].

If you believe you are the victim of a scam, contact your local law enforcement and report the incident to the U.S. Federal Trade Commission.

Commitment to Diversity

All qualified applicants will receive consideration for employment without regard to sex, race, ethnicity, age, national origin, citizenship, religion, physical or mental disability, medical condition, genetic information, pregnancy, family structure, marital status, ancestry, domestic partner status, sexual orientation, gender identity or expression, veteran or military status, or any other basis prohibited by law. Leidos will also consider for employment qualified applicants with criminal histories consistent with relevant laws.

This job posting is no longer active.

Related Opportunities

Talent Community

Join our Talent Community to create a profile, enabling a streamlined application process and to help our recruiters better understand your areas of expertise and interest.

Join our Talent Community