Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Ludwig-Maximilians-Universität München •
- Technical University of Munich
- University of Münster •
- Fraunhofer Institute for Wind Energy Systems IWES
- Fraunhofer-Gesellschaft
- Hannover Medical School •
- Leibniz
- Leipzig University •
- Max Planck Institute for Human Cognitive and Brain Sciences, Leipzig
- Max Planck Institute for the Study of Crime, Security and Law, Freiburg
- University of Konstanz •
- University of Potsdam •
- University of Regensburg •
- University of Stuttgart •
- University of Tübingen
- Universität Heidelberg
- 6 more »
- « less
-
Field
-
of the doctoral project is positively evaluated after the first two years. CMS’s inter-disciplinary team is performing research in the broad field of computational methods for the built environment. Particular
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions