Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
-
Field
-
Max Planck Institute for Multidisciplinary Sciences, Göttingen | Gottingen, Niedersachsen | Germany | 2 months ago
. Helmut Grubmüller) is inviting applications for a PhD Student or Postdoc (f/m/d) - Theory and Methods for Non-equilibrium Theory and Atomistic Simulations of Complex Biomolecules. Possible projects
-
12.05.2025, Wissenschaftliches Personal PostDoc- und Promotionsstellen in der Theorie der Quantensimulation Dauer: 2 - 3 Jahre (PostDoc) & 3 - 4 Jahre (Promotion) Ort: School of Natural
-
Max Planck Institute for Multidisciplinary Sciences, Göttingen | Gottingen, Niedersachsen | Germany | about 2 months ago
. Helmut Grubmüller) is inviting applications for a PhD Student or Postdoc (f/m/d) for the project Theory and algorithms for structure determination from single molecule x-ray scattering images. Project
-
computer science with very good results - Interest on topics around the area of distributed systems and data management - Basic knowledge in distributed systems and graph algorithms is desired - Hand-on experience
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification
-
for relaxed memory models; guarded cubical type theory; and Rocq formalizations. Tasks and Qualifications Applicants are expected to have a strong background in semantics, type theory, and Rocq formalization
-
, predict, and treat diseases. You will work with multimodal biomedical datasets including omics, imaging, and patient data and apply cutting-edge AI models such as graph neural networks, transformer
-
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 interest in studying symmetry groups
-
. Preference factors: - Proficiency in English (written and spoken). - Relevant academic or practical knowledge in control theory and power electronics. - Knowledge of computational simulation tools (for example
-
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