1 coding-"https:"-"Prof"-"FEMTO-ST"-"https:"-"https:"-"Multiple" positions at DAAD

  • DAAD | Germany | about 1 month ago

    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 code via

Enter an email to receive alerts for coding-"https:"-"Prof"-"FEMTO-ST"-"https:"-"https:"-"Multiple" positions