Sort by
Refine Your Search
-
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
-
Description TUD Dresden University of Technology, as a University of Excellence, is one of the leading and most dynamic research institutions in the country. Founded in 1828, today it is a globally
-
Description TUD Dresden University of Technology, as a University of Excellence, is one of the leading and most dynamic research institutions in the country. The Chair of Mobility System Planning is
-
Description TUD Dresden University of Technology, as a University of Excellence, is one of the leading and most dynamic research institutions in the country. Founded in 1828, today it is a globally
-
strengthening education and research in Latin America structural strengthening and regional networking of partner institutions and partner universities Who can apply? University graduates from the following
-
to the above contact. A valid driver’s licence will be required. A read of our publications on micropollutant – membrane interactions will help preparations!
-
for the duration of the PhD, either by the DKFZ or by third-party sources. Research at the DKFZ is organised into the following programmes: In addition, the programmes offer many possibilities for interacting and