-
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
-
We welcome applications from all backgrounds. The promotion of diversity is an important strategic goal at our center and our lab. This is reflected in the BMC Code of Conduct , which actively
-
additional pension scheme. We welcome applications from all backgrounds. The promotion of diversity is an important strategic goal at our center. This is reflected in the BMC Code of Conduct , which actively
Enter an email to receive alerts for coding-"https:"-"https:"-"https:"-"https:"-"L2CM" positions