1 parallel-computing-numerical-methods PhD scholarships at CISPA (at University of Stuttgart) in Germany

PhD at Software Lab in Stuttgart

CISPA (at University of Stuttgart) | Germany | 13 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