Sort by
Refine Your Search
-
Category
-
Field
-
- 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
-
for 3 - 6 years, with the option to enter the habilitation program in the format of 3 + 3 years. The salary will be determined according to the German collective wage agreement in public service (TV-L 13
-
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
-
for livestock systems in East Africa, and in the subtropics in Latin-America. The research programme will examine productivity of grasslands, nutrient stocks and cycling and their relationship to biodiversity. We
-
the subtropics in Latin-America. The research programme will examine productivity of grasslands, nutrient stocks and cycling and their relationship to biodiversity. We conduct experiments in the field
-
part of a degree program. In particular, knowledge about finite-element analysis is an absolute must . Familiarity with iterative solvers , preconditioners , multigrid methods , and mixed-precision
-
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