-
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
-
qualifizieren und neue Bedarfe identifizieren Programm Abschlüsse Teilnahmevoraussetzungen Fördermöglichkeiten Häufige Fragen Anmeldung Quicklinks Back All Degree Programs ALMA Portal Excellence Strategy Staff
-
) 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
Searches related to web programmer
Enter an email to receive alerts for web-programmer positions