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 most automated repair techniques depend on exactly such a correctness oracle: without a failing test or specification, they have neither a clear repair target nor a way to assess a proposed change. This project challenges that dependency by investigating whether software bugs can be repaired using evidence already present in the code. It will combine program analysis with patterns mined from existing software to explore whether multiple, independent sources of evidence can guide repair when tests or specifications are unavailable. The approach will be studied across different programming languages and evaluated on both real-world bugs and code modified by AI coding assistants. The broader aim is to determine when code contains enough information to support its own repair and when knowledge of the intended behavior remains essential. What we offer We offer a dynamic and supportive research environment within an internationally recognized institute. You will join an open, collaborative team that values teamwork, professional diligence, and innovation. The Software Engineering section provides flexible work conditions and strong support for individual development, including mentorship and opportunities to expand your skills and responsibilities. As part of the Maersk Mc-Kinney Moller Institute, our section is involved in a variety of national and European research projects and enjoys a robust network of academic and industrial partners. This position provides an opportunity to...

Summary and match are AI-generated; verify details on the original posting.

Listed via EURES. All sources