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
-
research foci include spaceflight mechanics, orbital robotics and systems engineering for advanced space missions. This university-funded Ph.D. research will investigate both fundamental and applied
-
represents an exciting opportunity to be part of a dynamic research environment at interface of chemistry and biology. The position also includes tasks for scientific qualification (doctorate). If you are
-
Description TUD Dresden University of Technology, as a University of Excellence, is one of the leading and most dynamic research institutions in the country. For TUD diversity is an essential
-
Description The Molecular Nanophotonics Group at the Faculty of Physics and Earth System Sciences at Leipzig University is currently offering a doctoral researcher position under the supervision
-
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. Founded in 1828, today it is a globally