Senior Research Scientist Formal Methods
Senior Research Scientist Formal Methods
Employer Active
Job Alert
You will be updated with latest job alerts via email
Share
Job Alert
You will be updated with latest job alerts via email
$ 104650 - 189175
1 Vacancy
Job Description
Leidos is looking for a senior research scientist in formal methods and cyberphysical systems who has experience in developing stateoftheart automated reasoning technologies that enable production of highassurance software and softwareintensive 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 longterm 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 highperforming teams in the development and integration of softwarebased 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 constraintsolving symbolic 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 handson experience:applying formal methods using technologies such as theorem provers for firstorder logic and higherorder 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 lowlevel 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 fastpaced 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:
February 18 2025For 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 $104650.00 $189175.00The 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.
Required Experience:
Senior IC
Employment Type
Full-Time
