-
of the University of Groningen in The Netherlands. The position is available within the research project "Aggregating Safety Prefer-ences for AI Systems: A Social Choice Approach." The project aims to develop formal
-
of the University of Groningen in The Netherlands. The position is available within the research project "Aggregating Safety Prefer-ences for AI Systems: A Social Choice Approach." The project aims to develop formal
-
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
-
research (e.g., integer linear programming and constraint programming); heuristics, meta-heuristics, and evolutionary computations; distributed and cloud computing; automated reasoning (e.g., formal and