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
-
the chance to obtain further academic qualification (usually PhD). Tasks: This research project funded by the German Science Foundation within the Priority Programme “Productive Biofilm Systems” aims at, in
-
, 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
-
Description About us Wind energy research at the Carl von Ossietzky Universität Oldenburg is internationally recognized through its integration into ForWind – Center for Wind Energy Research, a collaboration among the Universities of Oldenburg, Hannover, and Bremen, and by being part of the...
-
Description Within the IQST Graduate School framework, the hot atomic vapor spectroscopy group at the 5th Institute of Physics is currently seeking a PhD student. This PhD program is in close
-
offering PhD positions for students with a background in data science, computer science, computational science, or a domain science with a strong focus on computational science, and an interest in training
-
Mathematics, Technomathematics, Computer Science, Engineering Informatics, Theoretical Computer Science, Physics Description Description The research group Cyber-Physical Systems of Prof. Matthias Althoff