Sort by
Refine Your Search
-
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
-
tool that allows developers to quickly find and fix software errors including security vulnerabilities. You will innovate the Find2Fix pipeline by making the different steps, including found issues and
-
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
-
6 Sep 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Computer science » Programming Computer science » Systems design Engineering » Control
-
project, you will explore the use of formal methods from computer science (program synthesis and probabilistic programming) and control systems analysis approaches to derive human understandable strategies
-
the Directorate of Connectivity and Secure Communications. The ESA Programme Related to EU Secure Connectivity, hereinafter referred to as Secure Connectivity, is intended to support the effective development and
-
); 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