Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Technical University of Munich
- Leibniz
- University of Tübingen
- Max Planck Institute for Demographic Research (MPIDR)
- Max Planck Institute for Gravitational Physics, Potsdam-Golm
- Max Planck Institute of Molecular Cell Biology and Genetics
- Max Planck Institute of Molecular Cell Biology and Genetics, Dresden
- Nature Careers
-
Field
-
automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international
-
, incorporating insights from the philosophy of language, the cognitive language sciences, linguistic pragmatics, and formal logic / epistemology. The main task of the post-doctoral researcher is to contribute to a
-
propose to combine machine learning techniques with formal methods. We will focus on safe reinforcement learning of motion planning problems for autonomous vessels. Motion planning is particularly
-
Max Planck Institute of Molecular Cell Biology and Genetics | Dresden, Sachsen | Germany | about 3 hours ago
attractive pension plan via VBL No formal teaching duties, with the option to contribute to our international graduate school Travel support for research activities Discounted job ticket (VVO) and good public
-
Max Planck Institute of Molecular Cell Biology and Genetics, Dresden | Dresden, Sachsen | Germany | 8 days ago
vacation, annual bonus payment, full social insurance coverage, and an attractive pension plan via VBL. No formal teaching duties, with the option to contribute to our international graduate school. Travel
-
static and dynamic 3D reconstruction, semantic scene understanding, and generative models for photo-realistic image / video synthesis. Overall, the main focus is on high-impact research with the aim
-
Max Planck Institute for Gravitational Physics, Potsdam-Golm | Potsdam, Brandenburg | Germany | 21 days ago
theory, post-Newtonian and post-Minkowskian expansions, gravitational self-force approach, perturbation theory and effective-one-body formalism), numerical relativity, most notably simulations in vacuum
-
derivation, analysis, and comparison of numerical methods and simulation approaches for the solution of PDEs Formal proofs, e.g., for convergence, existence, and uniqueness of solutions Fast prototyping of new
-
interdisciplinary team. Applicants with strong background in the following fields are preferred: Dynamical Systems Control Theory Formal Methods Machine Learning Context The applicant will be directly advised by Prof
-
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