Sort by
Refine Your Search
-
Employer
- DAAD
- Technical University of Munich
- Nature Careers
- Ludwig-Maximilians-Universität München •
- Humboldt-Stiftung Foundation
- Dresden University of Technology •
- University of Bonn •
- Charité - Universitätsmedizin Berlin •
- Forschungszentrum Jülich
- Fraunhofer-Gesellschaft
- Leibniz
- Max Planck Institute for Extraterrestrial Physics •
- Max Planck Institute for Molecular Genetics •
- Max Planck Institute of Molecular Plant Physiology •
- RPTU University of Kaiserslautern-Landau •
- University of Bremen •
- University of Cologne •
- University of Konstanz •
- University of Münster •
- University of Regensburg •
- University of Stuttgart •
- University of Tübingen
- 12 more »
- « less
-
Field
-
Institute of the German Aerospace Center (DLR). For this international, exciting, and cutting-edge environment, we are looking for a PhD candidate on the topic of semantic understanding of the built
-
successful candidate is supposed to develop the theory of reachability analysis and apply it to machine learning. By building and leveraging expertise in reachability analysis and formal verification
-
. We do not expect overly formal application material, but will definitely not consider applications that are incomplete, generic, or not meaningful. Please send your application or any questions
-
into account the distance to the currently failing solution. Developing such a methodology requires a formalization of the design space and the distance between models as an objective function. To apply