4 software-verification-computer-science Postdoctoral positions at European Space Agency
-
PNRR, in particular in the field of model-based systems engineering (MBSE) and the development of a model-based digital twin facilitating a fast and rigorous requirements verification process within
-
scientific trends and results, as input to the strategic planning of the Agency. The team entered the field of computer science and applied mathematics in 2004, performing research related to discrete
-
on the latest advances in open data science, cloud computing and HPC capabilities, offering a collaborative environment for advanced science and research development. You are encouraged to visit the ESA website
-
on the resulting algorithms and pipelines. As an emerging paradigm, differentiable programming builds upon several areas of computer science and applied mathematics, including automatic differentiation, graphical