Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Humboldt-Stiftung Foundation
- Nature Careers
- Technical University of Munich
- University of Tübingen
- Ludwig-Maximilians-Universität München •
- Leibniz
- University of Münster •
- DAAD
- Hannover Medical School •
- Leipzig University •
- University of Konstanz •
- University of Potsdam •
- University of Regensburg •
- 3 more »
- « less
-
Field
-
report The Alexander von Humboldt Professor Margaret Crofoot describes her research methods and talks about her role as a model for women in science. Rob Nelson/Untamed Science Handreichung zur
-
- PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by
-
. The project focuses on developing information theory, coding schemes, and other algorithmic methods for DNA data storage. Here is a video on the topic: https://www.bbc.com/future/article/20151122-this-is-how
-
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