-
all documents must be uploaded to the DAAD portal. Incomplete applications will be formally rejected and will be excluded from the application process. The following documents may be scanned in non
-
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
-
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
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions