Sort by
Refine Your Search
-
Employer
-
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
-
Programmes Equity Fields of Action Networks for Equity Kontakt Team Equity News and publications Back Press Releases attempto online Newsletter Uni Tübingen aktuell University of Tübingen magazine Attempto
-
) 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