Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
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
-
Engineering (ISSE) is one of the two computer science institutes at Clausthal University of Technology and is home to several research groups. You can find more information about the ISSE Institute on our
-
dedicated, ambitious and supportive research team in state-of-the-art facilities and will experience the benefits of a structured PhD training program that provides doctoral students with interdisciplinary
-
ranges from core areas of computer science and electronics over medical applications to societal aspects of AI. SECAI’s main research focus areas are: Composite AI: How can machine learning and symbolic AI
-
, master’s degree) in transportation, computer science or related fields experience with transport models and/or simulation tools interest in interdisciplinary research on the analysis and modeling
-
Mathematics, Technomathematics, Computer Science, Engineering Informatics, Theoretical Computer Science, Physics Description Description The research group Cyber-Physical Systems of Prof. Matthias Althoff
-
1,000 employees from over 50 nations, it is the largest institute of the Max Planck Society . The Department of Theoretical and Computational Biophysics headed by (Prof. Dr. Helmut Grubmüller) is
-
available in the further tabs (e.g. “Application requirements”). Objective The scholarship programme “Leadership for Africa” (LfA) aims to support the academic qualification and advancement of young refugees
-
available in the further tabs (e.g. “Application requirements”). Objective This scholarship programme is designed for students, graduates and doctoral candidates. It aims to help them improve their knowledge
-
available in the further tabs (e.g. “Application requirements”). Objective This programme aims to deepen knowledge of the German language (general language, technical language) and regional studies