14 formal-verification-computer-science Postdoctoral positions at European Space Agency
-
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
-
, aligned with a model-based system engineering paradigm; Developing and curating reference asset architectures, threat and control catalogues for instantiating space system risk assessments; Deriving formal
-
); units such as onboard computers, mass memories, remote terminals and instrument control units*; digital and analogue signal processing electronics for payload/platform functions; front-end acquisition and
-
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
-
Division, Systems Department, Directorate of Technology, Engineering and Quality. The Future Engineering Division, in support of the programme directorates, is responsible for developing and providing
-
assessment. You will be provided with access to various engineering and computation toolsets along with the high-performance computer. A good background in numerical methods and computational platforms is
-
for this position, the following is required: PhD in systems engineering, computer science or informatics, and the subject of the thesis should be relevant to the task description provided above (e.g. digital twin
-
-Term Actions Division within the Climate Action, Sustainability and Science Department of the Directorate of Earth Observation Programmes. In the performance of your tasks, you will work in close
-
alignment with the strategic directions of the STS PNRR programme. Scientifically, you will in particular: propose and conduct rigorous research in the field of model-based digital system engineering and
-
: 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