-
for resilience, and engaging with key stakeholders across the European space and security ecosystem. Main research topics: EO-driven threat detection and situational awareness: develop innovative methods
-
throughout the early phases of missions, including participation in CDF and phase A/B1. The Team also provides expertise to other projects and studies, including research and development of tools and methods
-
? Which disruptive technologies or paradigms (specific architectures, lightweight adaptation methods, xAI, interpretable-physic awareness, uncertainty quantification, etc.) will you explore? Why is this
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions