Sort by
Refine Your Search
-
: 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
-
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
-
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
-
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
-
-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
-
, 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
-
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
-
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