-
- 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
-
Mathematics (analysis, numerics, modeling) or in a comparable program with a strong mathematical focus and knowledge in, for example, functional analysis as well as the theory and numerics of PDEs. Strong
-
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
-
% 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