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
-
on formal verification and reachability analysis using logical zonotopes, with applications in digital circuit verification and model checking. Candidates should have a strong mathematical background and
-
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
-
are integrated into the junior faculty of the Department of Economics at LMU. The position has no formal teaching obligation; however, limited teaching is encouraged. Candidates should hold a PhD in economics or
-
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
-
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 of Molecular Cell Biology and Genetics, Dresden | Dresden, Sachsen | Germany | 18 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
-
Max Planck Institute of Molecular Cell Biology and Genetics | Dresden, Sachsen | Germany | about 16 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 for Gravitational Physics, Potsdam-Golm | Potsdam, Brandenburg | Germany | about 1 month 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