1 computer-programmer-"the"-"U"-"U.S"-"CSIRO"-"IDAEA-CSIC"-"Prof"-"FEMTO-ST" positions at CISPA (Stuttgart)

Sort by

listed

Refine Your Search

Category
- Research Job 1
- Scholarship 1

Sort by: relevance | listed |

Enter an email to receive alerts for computer-programmer-"the"-"U"-"U.S"-"CSIRO"-"IDAEA-CSIC"-"Prof"-"FEMTO-ST" positions

PhD Student at CISPA (Stuttgart)

CISPA (Stuttgart) | Germany | 28 days ago

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

Enter an email to receive alerts for computer-programmer-"the"-"U"-"U.S"-"CSIRO"-"IDAEA-CSIC"-"Prof"-"FEMTO-ST" positions