Sort by
Refine Your Search
-
, aligned with a model-based system engineering paradigm; Developing and curating reference asset architectures, threat and control catalogues for instantiating space system risk assessments; Deriving 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
-
, deliverable documents, and present your project updates during internal consortium meetings and external review meetings. You will also represent your work package within the consortium, not only in 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
-
of representation of belonging, both in the formal institutional space of education and healing, as well as informal spaces of sports, popular culture, and urban arts. The goal of the project is to come to a more
-
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
-
, encryption/decryption and compression; use of microelectronics devices (including COTS); implementation, inference, verification and validation of algorithms** on processing hardware platforms for space
-
for artificial intelligence (AI). The Section supports the development and exploitation of future space missions focusing on AI technologies and techniques, development and verification methods for AI systems
-
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