Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
computer and Data Handling (PL/PF) for space systems, including their procurement and end-to-end validation (in close collaboration with TEC-EF); Engineering of on-board software in all phases including pre
-
computer and Data Handling (PL/PF) for space systems, including their procurement and end-to-end validation (in close collaboration with TEC-EF); Engineering of on-board software in all phases including pre
-
security aspects, E2E systems integration/verification activities (SIV), and service preparation. To serve these functions, the Head of the End-To-End Systems Engineering Division defines and executes
-
computational and laboratory facilities. In particular, the Division is in charge of: performing design, development and verification of spacecraft structures, mechanisms, materials and manufacturing processes by
-
Software. It is a collaboration between the University of Amsterdam and the Dutch Centre for Mathematics and Computer Science (CWI). QuSoft’s mission is to develop new protocols, algorithms and applications
-
limitations —driven to explore solutions that go beyond what verification alone can achieve. This PhD project focuses on developing analysis and program repair techniques that enhance software interoperability
-
operational use of the software components on ESA computing infrastructure to support mission performance verification activities; supporting mission data simulation and processing activities, including
-
the AMC; Develop and maintain complementary performance simulators and conduct performance analyses as needed, to support the verification of the science and mission requirements but also lower-level
-
software development practice. SERG is known for its research on software testing, program analysis, mining software repositories, and empirical software engineering with close collaboration with industry
-
useful for research, education, and industrial use. Your research will be published and presented at international AI, software engineering, and security venues. The position is focused on discovering new