Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Technical University of Munich
- Nature Careers
- Leibniz
- Forschungszentrum Jülich
- Heidelberg University
- Free University of Berlin
- University of Tübingen
- DAAD
- Alfred-Wegener-Institut Helmholtz-Zentrum für Polar- und Meeresforschung
- Fraunhofer-Gesellschaft
- Friedrich Schiller University Jena
- GFZ Helmholtz-Zentrum für Geoforschung
- Helmholtz-Zentrum Berlin für Materialien und Energie
- Max Planck Institute for Multidisciplinary Sciences, Göttingen
- Fritz Haber Institute of the Max Planck Society, Berlin
- Hasso Plattner Institute;
- Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association
- Kassel Institute for Sustainability
- Max Planck Institute for Astronomy, Heidelberg
- Max Planck Institute for Dynamics and Self-Organization, Göttingen
- Max Planck Society
- Technische Universität München
- University of Tuebingen
- WIAS Berlin
- ;
- Academic Europe
- Brandenburgische Technische Universität Cottbus
- CISPA Helmholtz Center for Information Security
- Carl von Ossietzky Universität Oldenburg
- College of Chemistry and Molecular Engineering, Peking University
- Deutsches Zentrum für Neurodegenerative Erkrankungen
- European Magnetism Association EMA
- Helmholtz Zentrum München - Deutsches Forschungszentrum für Gesundheit und Umwelt
- Helmholtz-Zentrum Geesthacht
- Helmholtz-Zentrum für Infektionsforschung
- Humboldt-Universität zu Berlin
- Institute for X-Ray Physics, University of Göttingen
- 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 Chemical Physics of Solids, Dresden
- Max Planck Institute for Demographic Research (MPIDR)
- Max Planck Institute for Evolutionary Biology, Plön
- Max Planck Institute for Gravitational Physics, Potsdam-Golm
- 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 Radio Astronomy, Bonn
- Max Planck Institute for Sustainable Materials GmbH, Düsseldorf
- Max Planck Institute for the Structure and Dynamics of Matter, Hamburg
- Max Planck Institute of Colloids and Interfaces
- Max Planck Institute of Molecular Cell Biology and Genetics, Dresden
- Ruhr University Bochum
- Technische Universität Berlin
- UNIVERSITÄT DUISBURG-ESSEN
- Universitaetsklinikum Erlangen
- University of Duisburg-Essen
- University of Greifswald
- Universität Regensburg
- 55 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
-
for two years, with the possibility of extension, depending on performance and project needs. Qualifications • For Doctoral Candidates: Master’s degree in Computer Science or Mathematics. • For Postdoctoral
-
: The ERC Synergy project “The Cultures of the Cryosphere. Infrastructures, Politics and Futures of Artificial Cooling” (CultCryo) investigates the historical preconditions and consequences of the use
-
excellent, with a dedicated and competent staff. Relevant initiatives (conferences, workshops, etc) can be funded. While the central topic of the research group is cluster algebra theory, we take special
-
employees in 5 scientific departments conduct and facilitate top-level research on historic grounds in Berlin-Dahlem, which is unique worldwide. The FHI Theory department is currently looking to fill a PhD
-
- conducting processors with respect to practical short-depth (NISQ) quantum algorithms Cooperate and actively work with experimental partners developing quantum processors using these technological platforms
-
Mathematics (analysis, numerics, modeling) or in a comparable program with a strong mathematical focus and knowledge in, for example, functional analysis as well as the theory and numerics of PDEs. Strong
-
and control system for real-time control and operation at autonomy level 3 as defined by the International Maritime Organization (IMO 1). The control system to be developed will almost completely avoid
-
brings together methodologists (from areas like statistics, computer science or formal demography) with population scientists in order to foster cross-pollination of ideas, to advance methods and theories
-
Max Planck Institute for Nuclear Physics, Heidelberg | Heidelberg, Baden W rttemberg | Germany | 2 months ago
strong links to theory groups at the institute and astrophysical interpretation and modelling work may also be included. PhD in Physics or Electronic Engineering. Knowledge of relevant technologies and/or