11 formal-verification-computer-science Postdoctoral positions at European Space Agency in Netherlands
-
, 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
-
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
-
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
-
-world environments will require rigorous testing and validation. Portability and Performance: Balancing the need for lightweight portability with the computational demands of high-fidelity simulations is