Research Scientist

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.

If this sounds like the kind of environment where you can thrive, keep reading!

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.

Are you ready to make an impact? Begin your journey of a flourishing and meaningful career. Share your resume with us today!

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.
• 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.
• Communicate plans and results effectively through written status reports and presentations.

What Sets You Apart:

• A Bachelor’s degree in Electrical Engineering, Computer Science, Mathematics, or a related technical field with less than 1 year of experience.
• Has experience with programming languages such as Java, Scala, C/C++, Ruby, Rust, or Python.
• Coursework in formal methods.
• Qualified candidates must be able to obtain a Top Secret security clearance (no clearance needed to start)

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.

LInC

Pay Range:

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.

#Remote

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 45,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 www.Leidos.com.

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 Leidos.com 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.