Sort by
Refine Your Search
-
Category
-
Program
-
Employer
- Fraunhofer-Gesellschaft
- Technical University of Munich
- GFZ Helmholtz-Zentrum für Geoforschung
- Forschungszentrum Jülich
- Leuphana University Lueneburg
- Ludwig-Maximilians-Universität München •
- Christian-Albrechts-Universität zu Kiel
- Max Planck Institute for Empirical Aesthetics, Frankfurt am Main
- Max Planck Institute for Intelligent Systems, Tübingen, Tübingen
- Clausthal University of Technology
- Constructor Knowledge Labs gGmbH
- Constructor University Bremen gGmbH
- DAAD
- European Molecular Biology Laboratory (EMBL)
- Free University of Berlin
- Freie Universität Berlin •
- Friedrich Schiller University Jena •
- Heidelberg University
- Helmholtz-Zentrum Dresden-Rossendorf •
- LUDWIG MAXIMILIANS UNIVERSITAET MUENCHEN
- Max Planck Institute for Biogeochemistry •
- Max Planck Institute for Chemistry, Mainz
- Max Planck Institute for Empirical Aesthetics
- Max Planck Institute for Empirical Aesthetics (MPIEA)
- Max Planck Institute for Gravitational Physics, Potsdam-Golm
- Max Planck Institute for Human Cognitive and Brain Sciences (MPI CBS)
- Max Planck Institute for Human Cognitive and Brain Sciences •
- Max Planck Institute for Human Cognitive and Brain Sciences, Leipzig
- Max Planck Institute for Meteorology •
- Max Planck Institute for Molecular Genetics •
- Max Planck Institute of Geoanthropology, Jena
- Max Planck Institute of Molecular Plant Physiology •
- Technische Universität Berlin •
- Technische Universität Clausthal
- Ulm University •
- University Medical Center Freiburg
- University of Cologne •
- University of Göttingen •
- University of Münster •
- University of Oldenburg
- University of Passau •
- University of Stuttgart •
- University of Tübingen
- Universitätsklinikum Carl Gustav Carus
- 34 more »
- « less
-
Field
-
, reachability, basic complexity classes. Mathematical logic and formal methods. First-order logic, type systems, SAT/SMT, temporal logic (LTL/CTL) and model checking, pre/post-conditions, invariants, refinement
-
research the dynamic processes of the Earth system. Our vision: “Taking the pulse of the Earth to safeguard a habitable planet.” For section 2.5 Geodynamic Modeling (department “Geophysics”), we are looking
-
Max Planck Institute for Gravitational Physics, Potsdam-Golm | Potsdam, Brandenburg | Germany | about 10 hours ago
, the LISA Consortium, and the LISA Distributed Data Processing Centre, where the department leads waveform generation and the global-fit deep analysis. Your tasks Research areas Analytical modeling
-
representations that transfer across a wide range of applications. However, despite their strong transfer capabilities, GeoFMs sometimes fail to match the performance of task-specific supervised models
-
09.09.2026 Application deadline : 31.10.2026 Postdoctoral Research Fellow in Computational Modeling of Digital Education Data (100%, E 13 TV-L, 3 years + possible extension, m/f/d) We seek a bright
-
parameters For validation purposes, you will conduct initial test series and analyse the results Finally, you will check whether the model can reliably predict the parameters of a demonstrator component What
-
were conducted and a soil–plant-microbiome model based on the functional-structural plant modeling framework CPlantBox was developed. The experimental dataset now provides the basis for model calibration
-
Max Planck Institute for Intelligent Systems, Tübingen, Tübingen | Bingen am Rhein, Rheinland Pfalz | Germany | about 2 months ago
) for Statistical 3D Models of Quadrupeds to join the ongoing research efforts in the development of statistical 3D models of Quadrupeds. About us We are creating the world’s most realistic human and animal avatars
-
zonotopes in digital circuits and the model checking of discrete-space systems, with the goal of developing methodologies and tools that make verification scalable and reliable. Your research will focus
-
and learning; develop and validate measures and models of peer interaction and relationship formation; and use these insights to design AI-assisted tools for group formation, interaction support