1 genetic-algorithm-computer "Integreat Norwegian Centre for Knowledge driven Machine Learning" PhD positions at CISPA (Stuttgart)
-
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 genetic-algorithm-computer "Integreat Norwegian Centre for Knowledge driven Machine Learning" positions