Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Technical University of Munich
- Max Planck Institute for Multidisciplinary Sciences, Göttingen
- Nature Careers
- Aarhus University
- Fritz Haber Institute of the Max Planck Society, Berlin
- INESC TEC
- Max Planck Institute for Demographic Research (MPIDR)
- Max Planck Institute for Mathematics in the Sciences
- Université de Limoges
-
Field
-
/InstituteCREOPCountryFranceCityLimogesPostal Code87000Street3 Rue François MitterrandGeofield Contact City Limoges Website https://www.unilim.fr/recrutement-post-doctorant-sciences-gestion-management-logistique-durable-ecosystemes-theorie
-
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 | 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
-
, 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
-
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
-
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
-
Fritz Haber Institute of the Max Planck Society, Berlin | Berlin, Berlin | Germany | about 2 months ago
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