Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Nature Careers
- Leibniz
- Technical University of Munich
- Heidelberg University
- Forschungszentrum Jülich
- University of Tübingen
- Fraunhofer-Gesellschaft
- Max Planck Institute for Chemical Physics of Solids, Dresden
- WIAS Berlin
- ; Technical University of Denmark
- Fritz Haber Institute of the Max Planck Society, Berlin
- Helmholtz-Zentrum Geesthacht
- Max Planck Institute for Heart and Lung Research, Bad Nauheim
- Max Planck Institute for Astronomy, Heidelberg
- Max Planck Institute for Brain Research, Frankfurt am Main
- Max Planck Institute for Dynamics and Self-Organization, Göttingen
- Max Planck Institute for Extraterrestrial Physics, Garching
- Max Planck Institute for Molecular Biomedicine, Münster
- Max Planck Institute for Nuclear Physics, Heidelberg
- Max Planck Institute of Biochemistry, Martinsried
- Max Planck Institute of Biophysics, Frankfurt am Main
- University of Duisburg-Essen
- University of Paderborn
- 13 more »
- « less
-
Field
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification
-
, aggregation, linking and retrieval of comprehensive heterogeneous and distributed data sources. To this end, both statistical and linguistic analysis methods (NLP) as well as machine learning in combination
Searches related to harmonic analysis
Enter an email to receive alerts for harmonic-analysis positions