Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
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
-
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
-
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
-
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
-
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 | about 1 month 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 | 1 day 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
-
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