Sort by
Refine Your Search
-
Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association | Gorlitz, Sachsen | Germany | about 2 months ago
area # Good knowledge of electronic structure methods for crystals and 2D materials # Experience with parallel computing paradigms # Good knowledge of numerical methods # Experience with high-performance
-
domain knowledge in 4 core application domains, for which reliable AI methods are most urgently needed: medicine and healthcare, robotics & interacting systems, algorithmic decision-making, and learning
-
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