Sort by
Refine Your Search
-
-based, stakeholder-related tools for the life cycle decision of products and based on this the matching of different actors from the areas of the circular economy, in particular reusing, repairing
-
based at DIGIT as well as the collection and analysis of requirements from existing partners. In addition, further partners are to be integrated into the network and new formats and pilot projects
-
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
-
plan by conducting experiments, sample and data analysis, and write up of results for scientific publication are part of the PhD process – a journey to become an independent researcher! Throughout
-
a four-year research project. Execution of the research plan through conducting of experiments, sample and data analysis and write-up of results for scientific publication are part of the PhD process
-
of the research plan through conducting of experiments, sample and data analysis and write up of results for scientific publication are part of the PhD process – a journey to become an independent researcher
-
, sample and data analysis and write-up of results for scientific publication are part of the PhD process – a journey to become an independent researcher! Throughout the project, there will be multiple