Sort by
Refine Your Search
-
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
-
Max Planck Institute for Human Cognitive and Brain Sciences, Leipzig | Leipzig, Sachsen | Germany | about 2 months 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
-
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
-
position is a PhD in physics, computer science, statistics, or a related field. The candidate should: Be interested in statistical inference and methods, with a focus on the Bayesian approach. Possess solid
-
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
-
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
-
Max Planck Institute of Molecular Cell Biology and Genetics | Dresden, Sachsen | Germany | 3 months 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
-
- PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by