Sort by
Refine Your Search
-
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
-
Learning Formal Methods Dynamical Systems Control Theory Context The applicant will be directly advised by Prof. Matthias Althoff (https://www.ce.cit.tum.de/cps/members/prof-dr-ing-matthias-althoff
-
finite elements) as well as alternative discretization methods (e.g., Lattice Boltzmann Methods), and high-performance computing. A selection of possible research areas can be found on our website: https
-
: Dynamical Systems Control Theory Formal Methods Reachability Analysis Computational Geometry Context The applicant will be directly advised by Prof. Matthias Althoff (https://www.ce.cit.tum.de/cps/members
-
Max Planck Institute of Molecular Cell Biology and Genetics | Dresden, Sachsen | Germany | about 2 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
-
10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification