Description Leidos is looking for a Research Scientist in Formal Methods and cyber-physical systems who... production of high-assurance software and software-intensive systems. Primary Responsibilities: The research scientist...
Leidos is looking for a Research Scientist in Formal Methods and cyber-physical systems who has experience... of high-assurance software and software-intensive systems. Primary Responsibilities: The research scientist will serve...
Leidos is looking for a senior research scientist in formal methods and cyber-physical systems who has experience... Experience applying the application of formal methods in fundamental research contexts, to problems in complex domains...