Sort by
Refine Your Search
-
PNRR, in particular in the field of model-based systems engineering (MBSE) and the development of a model-based digital twin facilitating a fast and rigorous requirements verification process within
-
formal verification and/or control, and a strong interest in inter-disciplinary research. Experience with hybrid systems and the field of formal verification and synthesis in general, is a strong asset
Searches related to verification
Enter an email to receive alerts for verification positions