Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- DAAD
- Technical University of Munich
- Forschungszentrum Jülich
- Leibniz
- RWTH Aachen University
- GFZ Helmholtz Centre for Geosciences
- Fraunhofer-Gesellschaft
- Free University of Berlin
- Freie Universität Berlin •
- Friedrich Schiller University Jena •
- Helmholtz-Zentrum für Infektionsforschung GmbH
- Heraeus Covantics
- Leibniz-Institute for Plant Genetics and Crop Plant Research
- Max Planck Institute for Infection Biology - IMPRS-IDI
- Max Planck Institute for Intelligent Systems, Tübingen site, Tübingen
- Max Planck Institute for Molecular Genetics •
- Max Planck Institute for the Study of Crime, Security and Law, Freiburg
- Max Planck Institute of Molecular Plant Physiology •
- Nature Careers
- TU Darmstadt
- Technische Universitaet Darmstadt
- Technische Universität Berlin •
- Ulm University •
- University of Göttingen •
- University of Stuttgart •
- 15 more »
- « less
-
Field
-
emphasis is placed on building information modelling, point cloud capturing and processing as well as knowledge representation and inference. In the research project AI-CHECK, new technologies for checking
Searches related to model checking
Enter an email to receive alerts for model-checking positions