-
domain knowledge in 3 core application domains, for which reliable AI methods are most urgently needed: medicine and healthcare, robotics & interacting systems, and algorithmic decision-making. relAI
-
will be excluded for formal reasons. A pre-selection will be made based on the submitted application documents which takes particular account of academic achievements and language skills. The pre
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions