Sort by
Refine Your Search
-
challenging, and new theoretical methods and algorithms are required. The research project aims at deriving priors for Bayesian methods from atomistic simulations and machine learning. It also offers
-
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. Founded in 1828, today it is a globally
-
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