Sort by
Refine Your Search
-
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
-
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 At the Leibniz Institute of Plant Biochemistry in the Department of Bioorganic Chemistry a position is available for a PhD in Machine Learning for Enzyme Design (m/f/d) (Salary group E13
-
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