14 software-formal-method-phd Postdoctoral positions at European Space Agency in Netherlands
-
prioritisation and tailoring in accordance with your background and preferences and the Agency’s requirements: 1) Secure software engineering for space data systems Exploring advanced solutions for vulnerability
-
) and cover a wide range of innovative topics, from the development and validation of novel methods, algorithms and EO products to innovative climate research; the development of improved climate data
-
. Validate and test these solutions with respect to the classical methods. choose an appropriate data processing board, optimise the existing software that has been developed, tested, and validated, and then
-
working methods. It interacts externally almost exclusively with academia and operates as a truly interdisciplinary team bound to high scientific standards. Through its research, the team acts as a
-
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
-
discipline will include: becoming familiar with PA/QA practices, methodologies and disciplines (PA/QA, RAMS (reliability, availability, maintainability and safety), software PA, EEE components, and materials
-
learning for dynamical systems, system identification and control systems. This can involve co-tutoring of PhD students or early R&D cooperative studies. contributing to the development of advanced benchmark
-
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
-
systems, design concepts, lean development approaches, for example Agile, and working methods. Through its daily work, the Team acts as a pathfinder for the low-cost, green launch systems of the future
-
, spacecraft system and mission design, and analysis, as well as a valuable data source for studies and other research domains. This research aims to develop a lightweight software system, written in Python and