-
- 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
-
Gittereichtheorien“, das im Rahmen des Emmy Noether-Programms der DFG gefördert wird. Ziel des Projekts ist die Entwicklung digitaler Quantenalgorithmen zur Simulation nichtabelscher Gittereichtheorien. Wir suchen
-
or Postdoc Position in Numerical Mathematics m/f/d, 100%, 2 years+ As part of the second phase of the DFG funded Priority Programme SPP2311, the Chair for Numerical Mathematics under the leadership
-
Priority Programme SPP2311 (German Research Council), the Chair of Numerical Mathematics under the leadership of Frau Prof. Dr. Barbara Wohlmuth is seeking a candidate for a PhD or postdoctoral position (100
-
% international students in the MA program. The visual computing lab embraces its diverse culture, and is proud to host PhD students from over 10 different countries. Our lab language is English. The position is
-
computer science department is the Top-1 ranked computer science department in Germany. Our culture is highly international with over 40% international students in the MA program. The visual computing lab embraces
-
similar is required. • Hands-on mentality, independent and diligent operation is welcomed. • Excellent at working independently, taking initiatives, responsibilities, able to plan and carry out multi-tasks