218 algorithm-development-"Multiple" "NTNU Norwegian University of Science and Technology" Postdoctoral positions in Germany
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Nature Careers
- Technical University of Munich
- Leibniz
- Forschungszentrum Jülich
- Heidelberg University
- University of Tübingen
- Free University of Berlin
- Alfred-Wegener-Institut Helmholtz-Zentrum für Polar- und Meeresforschung
- Fraunhofer-Gesellschaft
- Fritz Haber Institute of the Max Planck Society, Berlin
- Helmholtz-Zentrum Berlin für Materialien und Energie
- Max Planck Society
- DAAD
- Deutsches Zentrum für Neurodegenerative Erkrankungen
- GFZ Helmholtz-Zentrum für Geoforschung
- Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association
- Helmholtz-Zentrum für Infektionsforschung
- Leibniz Institute for Neurobiology
- Max Planck Institute for Heart and Lung Research, Bad Nauheim
- Max Planck Institute for Astronomy, Arua, Uganda
- Max Planck Institute for Astronomy, Heidelberg
- Max Planck Institute for Biology Tübingen, Tübingen
- Max Planck Institute for Brain Research, Frankfurt am Main
- Max Planck Institute for Demographic Research (MPIDR)
- Max Planck Institute for Dynamics and Self-Organization, Göttingen
- Max Planck Institute for Extraterrestrial Physics, Garching
- Max Planck Institute for Human Development, Berlin
- Max Planck Institute for Mathematics in the Sciences
- Max Planck Institute for Molecular Biomedicine, Münster
- Max Planck Institute for Multidisciplinary Sciences, Göttingen
- Max Planck Institute for Nuclear Physics, Heidelberg
- Max Planck Institute for Physics, Garching
- Max Planck Institute for Plasma Physics (Greifswald), Greifswald
- Max Planck Institute for Radio Astronomy, Bonn
- Max Planck Institute for the Structure and Dynamics of Matter, Hamburg
- Max Planck Institute of Biochemistry, Martinsried
- Max Planck Institute of Biophysics, Frankfurt am Main
- Technische Universität München
- Universitaetsklinikum Erlangen
- University of Greifswald
- University of Oxford
- University of Paderborn
- WIAS Berlin
- 33 more »
- « less
-
Field
-
smart grid). While there has been tremendous progress in formal verification of cyber-physical systems, existing approaches still require expert knowledge. The main goal of this project is to develop
-
algorithmic algebra. For more information about the TUM Department of Mathematics, please visit our website: https://www.math.cit.tum.de/en/math/home/. The position is a full-time position (100%), initially
-
research studies for automated image analysis. In particular, you will: Plan, develop, and implement AI/ML algorithms for pathology image analysis. Integrate multi-modal data (e.g., genomics, clinical data
-
Kiel site Support services for professional and personal life situations An exciting work environment with the opportunity to provide important impetus for the development of sustainable solutions
-
- PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by
-
The Leibniz Institute for the History and Culture of Eastern Europe (GWZO) conductscomparative research into historical and cultural developments and processes in the region between the Baltic Sea
-
Planck Society. The Campus Martinsried hosts multiple academic institutions and numerous biotech companies. Munich stands out as one of Europe's premier hubs for life scientists, offering an exceptional
-
on the design and evaluation of innovative data- and machine learning-based systems to integrate more renewable energy into our energy systems and make energy use more efficient. We develop new optimization
-
this interdisciplinary project, we are looking for a strong candidate to contribute to the development of quantum algorithms and applications, focusing on quantum walks and quantum machine learning on graph structures
-
the different types of systems and develop a core graph data system that can serve as a common building block. This way, redundancies in keeping multiple cop-ies of graph data in different systems could be