Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
Max Planck Institute for Human Cognitive and Brain Sciences, Leipzig | Leipzig, Sachsen | Germany | about 4 hours ago
institute of the Max Planck Society and is dedicated to the study of human cognitive abilities and brain processes as well as the development of neuroimaging methods. The Brain Networks Group, led by
-
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
-
perspectives. We invite applications for a Postdoctoral position (f/m/d) to work on the development of scientific software, advanced statistical methods, and physics analysis within the framework of the DEMOS
-
conducted in close collaboration with Everllence (formally known as MAN Energy Solutions). The developed methods have to be tested in simulation and on real engines. Previous Work https://openreview.net/pdf
-
-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
-
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
-
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
-
Max Planck Institute of Molecular Cell Biology and Genetics, Dresden | Dresden, Sachsen | Germany | about 2 months 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 | 22 days 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
-
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