12 formal-verification-computer-science Postdoctoral positions at European Space Agency
-
for this position, the following is required: PhD in a relevant field such as computer science, quantum physics, electronic engineering, data science, AI, machine learning, Earth system science, climate etc. with a
-
missions. Our team and mission The European Space Agency maintains a world-leading Science Programme with missions in heliophysics, planetary science, astrophysics, and fundamental physics. Within ESA’s
-
, 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
-
multinational, interdisciplinary and open work environment; • access to high-performance computing infrastructure and unparalleled EO and technology expertise; • a unique opportunity to work on innovative
-
, interdisciplinary and open work environment; access to high-performance computing infrastructure and unparalleled EO and technology expertise; a unique opportunity to work on innovative solutions to address global
-
multinational, interdisciplinary and open work environment; access to high-performance computing infrastructure and unparalleled EO and technology expertise; a unique opportunity to work on innovative solutions
-
); 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