Sort by
Refine Your Search
-
Engineering, Program Analysis and Formal Methods We constantly seek applications from qualified researchers regardless of their national origin or citizenship. The working language is English. A command of
-
: nabeel.aslam at uni-leipzig.de Web: https://home.uni-leipzig.de/~quantumtechnology/index.php Legal notice: The information on this website is provided to the DAAD by third parties. Despite careful checking
-
available in the further tabs (e.g. “Application requirements”). Programme Description Early-career scientists from all countries of origin and any subject carrying out further research work into the field
-
media. Advances in Water Resources 34, 1102–1112. https://doi.org/10.1016/j.advwatres.2011.03.007 [007-Datei] Dumux documentation [WWW Document], https://dumux.org/docs/doxygen/master/ (accessed May
-
-auditing at leuphana.de Web: https://www.leuphana.de/institute/imaf.html Legal notice: The information on this website is provided to the DAAD by third parties. Despite careful checking, the DAAD cannot
-
-auditing at leuphana.de Web: https://www.leuphana.de/institute/imaf.html Legal notice: The information on this website is provided to the DAAD by third parties. Despite careful checking, the DAAD cannot
-
to reason about software (e.g., LLM agents for finding and fixing bugs) Static and dynamic program analysis (e.g., to infer specifications) Test input generation (e.g., to compare the behavior of old and new
-
available in the further tabs (e.g. “Application requirements”). Programme Description International students holding a Master’s degree in (molecular) biology, (bio-)chemistry, physics, mathematics
-
, Information and Technology Address StreetArcisstraße 21Zipcode80333CityMünchen Contact details Web: https://www.ce.cit.tum.de/cps/research/ Legal notice: The information on this website is provided
-
21Zipcode80333CityMünchen Contact details Web: https://www.ce.cit.tum.de/cps/research/ Legal notice: The information on this website is provided to the DAAD by third parties. Despite careful checking, the DAAD cannot