12 formal-verification-computer-science Postdoctoral positions at European Space Agency
-
: autonomous and fault-tolerant systems (including health monitoring systems), advanced guidance, control, estimation and optimisation techniques and tools, and the technology development of GNC sensors with a
-
Division, Quality Department, Directorate of Technology, Engineering and Quality. The Division provides PA&S functional support to ESA projects and technology developments and is also responsible
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions