Sort by
Refine Your Search
-
- 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 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
-
qualification program for PhD students containing excellent multidisciplinary training with tailor-made subject-based and soft skills courses, annual retreats, summer school, and a supervision concept. More
-
degree (Ph.D.). IGSSE grants a fully funded scholarship (€ 2,000 monthly), including a competent international qualification program. The scholarship is for four years provided that the progress
-
and be creative. With the help of extensive and goal-orientated professional development measures and career-building programmes we encourage you to grow as a person. To ensure a good work/life balance