Postdoctoral Position in Software Engineering: Program Analysis and Repository Mining

A 2-year postdoctoral researcher position is available at the University of Southern Denmark (SDU) in the Software Engineering section of the Maersk Mc-Kinney Moller Institute (MMMI). The successful candidate will contribute to the VILLUM Experiment project “Is Correctness Necessary? An Experiment in Test-Free Program Repair.” The project investigates whether software bugs can be repaired using information found in the code itself, without relying on test suites or specifications. The position is available from February 1, 2027. The application deadline is November 15, 2026, at 11:59 PM/23:59 (CET/CEST) Project Description Generating code is becoming cheap; establishing whether it is correct is not. Large language models can now produce and modify software at remarkable speed, and practices such as “vibe coding” are widening the gap between code generation and validation. Requiring a carefully designed test suite or specification for every generated fragment is unlikely to scale. Yet m…