4 computer-programmer-"https:"-"IDAEA-CSIC"-"IMT---Atlantique" Postdoctoral positions at Technical University of Munich
-
finite elements) as well as alternative discretization methods (e.g., Lattice Boltzmann Methods), and high-performance computing. A selection of possible research areas can be found on our website: https
-
% 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
-
- 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
-
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