13 proof-checking-postdoc-computer-science-logic Postdoctoral positions at European Space Agency in Netherlands
Sort by
Refine Your Search
-
close to completion of a PhD in a related technical or scientific discipline. Preference will be given to applications submitted by candidates within five years of receiving their PhD. In particular
-
: 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
-
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
-
); 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
-
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
-
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
-
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
-
, avionics systems, systems engineering and integration, mechanical systems, assembly, integration and testing, product assurance and safety, and security. The Team interacts closely with academia and the