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
-
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
-
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 programme aims to foster strong, internationally oriented higher education systems in Latin America with the capacity
-
available in the further tabs (e.g. “Application requirements”). Programme Description In line with its statutes, the Studienstiftung des deutschen Volkes (German Academic Scholarship Foundation) supports
-
) and the German Academic Exchange Service (DAAD) since 2007. Under this CAS-DAAD joint programme up and coming young Chinese scientists from the University of Chinese Academy of Sciences (UCAS) and CAS
-
Description Fully funded (and no tuition) PhD program in genetic, molecular, cellular, circuit based Neuroscience and translational, clinical research in Psychiatry. There is the option for a