Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
benefits are in accordance with the German public sector scale, TV-L E13. Your Qualification: Strong mathematical background (e.g., linear algebra, optimization, formal methods, convex geometry). Master's
-
-party research funding are expected. We are particularly interested in a candidate in any field of economics who leverages state-of-the-art machine learning and causal inference methods to innovative
-
, 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 | Dresden, Sachsen | Germany | 20 days ago
and refine methods to address new mathematical questions. Contribute to publications, proposals, and joint projects with internal and external partners. Present and discuss results at seminars and
-
Max Planck Institute of Molecular Cell Biology and Genetics | Dresden, Sachsen | Germany | 1 day ago
Dresden . Your responsibilities: Drive independent and collaborative research in applied topology within the group’s thematic focus. Develop and refine methods to address new mathematical questions
-
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
-
essentially new methods to automatically verify cyber-physical systems. Because none of the existing methods and tools for the formal verification of cyber-physical systems are fully automatic, these methods
-
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
-
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