Sort by
Refine Your Search
-
Country
-
Employer
- Technical University of Munich
- DAAD
- Max Planck Institute for Multidisciplinary Sciences, Göttingen
- Nature Careers
- Aarhus University
- Fritz Haber Institute of the Max Planck Society, Berlin
- Harvard University
- INESC TEC
- KNAW
- Lund University
- Max Planck Institute for Demographic Research (MPIDR)
- Max Planck Institute for Mathematics in the Sciences
- University of British Columbia
- Université de Limoges
- 4 more »
- « less
-
Field
-
Student or Postdoc (f/m/x) in the field of Theory and Methods for Non-equilibrium Theory and Atomistic Simulations of Complex Biomolecules Possible projects are variational free energy methods
-
: - 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
-
disciplines, including biomathematics, biostatistics, and molecular biology. The candidate is expected to have a solid grounding in programming in R, Python, and mathematics/statistics.The main duties involved
-
disciplines (typically mathematics, physics). For Postdocapplicants: Excellent track recordin computer science or engineering. Fluency in spoken and written English is required. Proficient in at least one
-
. 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
-
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
-
Baltimore. Vogelstein graduated summa cum laude in mathematics, switching to medicine when he discovered – during an extra summer internship with a cancer researcher – that medicine was a better avenue to
-
-quantum cryptography and coded computing (1 postdoc, 1 PhD, Antonia Wachter-Zeh, antonia.wachter-zeh@tum.de) • Theory for communication systems beyond Shannon's approach (1 postdoc, 1 PhD, Christian Deppe