Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Nature Careers
- Technical University of Munich
- Leibniz
- Forschungszentrum Jülich
- Heidelberg University
- Free University of Berlin
- Alfred-Wegener-Institut Helmholtz-Zentrum für Polar- und Meeresforschung
- University of Tübingen
- GFZ Helmholtz-Zentrum für Geoforschung
- Helmholtz-Zentrum Berlin für Materialien und Energie
- Fraunhofer-Gesellschaft
- Friedrich Schiller University Jena
- Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association
- Kassel Institute for Sustainability
- Max Planck Institute for Astronomy, Heidelberg
- Max Planck Institute for Multidisciplinary Sciences, Göttingen
- Max Planck Society
- University of Tuebingen
- Academic Europe
- Brandenburgische Technische Universität Cottbus
- Carl von Ossietzky Universität Oldenburg
- DAAD
- Deutsches Zentrum für Neurodegenerative Erkrankungen
- Fritz Haber Institute of the Max Planck Society, Berlin
- Helmholtz Zentrum München - Deutsches Forschungszentrum für Gesundheit und Umwelt
- Helmholtz-Zentrum für Infektionsforschung
- Leibniz Institute for Neurobiology
- Max Delbrück Center
- Max Planck Institute for Heart and Lung Research, Bad Nauheim
- Max Planck Institute for Astronomy, Arua, Uganda
- 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 Human Cognitive and Brain Sciences, Leipzig
- Max Planck Institute for Infection Biology, Berlin
- Max Planck Institute for Mathematics in the Sciences
- Max Planck Institute for Molecular Biomedicine, Münster
- 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 Biophysics, Frankfurt am Main
- Technische Universität München
- UNIVERSITÄT DUISBURG-ESSEN
- Universitaetsklinikum Erlangen
- University of Greifswald
- Universität Regensburg
- Utrecht University
- WIAS Berlin
- 40 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
-
- 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
-
, collaborating with several research groups working in related fields, particularly in algebraic geometry and algorithmic algebra. For more information about the TUM Department of Mathematics, please visit our
-
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
-
develop processes for the purification of hydrogen obtained from diol-based carrier molecules and to evaluate possibilities for the use of electrochemical compression processes. In this PostDoc position you
-
Max Planck Institute for Astronomy, Heidelberg | Heidelberg, Baden W rttemberg | Germany | about 3 hours ago
or observational research within the Galaxies and Cosmology department . The department’s research covers a wide range of topics related to galaxy evolution from the stars in the Milky Way to the highest redshift
-
transformation with a four-fold focus on human-environment interactions, just transitions, cultures of sustainability, and sustainable technology design. The institute aims to develop options and inspire social
-
Your Job: In this position, you will work in an interdisciplinary team of experts in HPC, ML, and biomedicine. You will contribute your individual strengths while also developing in adjacent fields
-
four-fold focus on human-environment interactions, just transitions, cultures of sustainability, and sustainable technology design. The institute aims to develop options and inspire social