Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Technical University of Munich
- Forschungszentrum Jülich
- Leibniz
- Heidelberg University
- Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association
- Nature Careers
- University of Greifswald
- University of Potsdam, Faculty of Sciences
- Academic Europe
- Center for Advanced Systems Understanding, Helmholtz Center Dresden-Rossendorf
- European XFEL
- GFZ Helmholtz-Zentrum für Geoforschung
- Helmholtz Zentrum Hereon
- Helmholtz-Zentrum Hereon
- Johannes Gutenberg University Mainz
- Max Delbrück Center
- Max Planck Institute for Demographic Research (MPIDR)
- Senckenberg Gesellschaft fuer Naturforschung
- University of Potsdam, Faculty of Science
- 9 more »
- « less
-
Field
-
: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification, building model checkers
-
). AI methods, and especially machine learning (ML) with deep neural networks have replaced traditional data analysis methods in recent years. The Technical University of Munich (TUM), together
-
., for quantum computing, microfluidics, or conventional circuits and systems. Our focus on interdisciplinary partnerships and networks will enable you to meet many interesting people (at places all over the world
Enter an email to receive alerts for computer-networks "https:" positions