Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Technical University of Munich
- Leibniz
- Max Planck Institute for Gravitational Physics, Potsdam-Golm
- Max Planck Institute for Human Cognitive and Brain Sciences, Leipzig
- Max Planck Institute for Physics, Garching
- Max Planck Institute of Molecular Cell Biology and Genetics
- Max Planck Institute of Molecular Cell Biology and Genetics, Dresden
-
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
-
Max Planck Institute for Human Cognitive and Brain Sciences, Leipzig | Leipzig, Sachsen | Germany | about 7 hours ago
pages), (2) a full CV, (3) transcript of records for the master and bachelor degrees, and (4) names and contact details of up to two potential referees. There is no formal closing date for the application
-
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
-
to apply the developed technology to physics use cases, aiming for publishable results. The candidate may also suggest applications based on their own scientific interests. A formal requirement for the
-
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 2 months 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 | 24 days 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