Sort by
Refine Your Search
-
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
-
, 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
-
, 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
-
, 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