Postdoc: Code Repair & Repository Mining

Cph Ai Hub; Odense; Hybrid; DKK 420,000 - 540,000; Full time

Job summary

The University of Southern Denmark (MMMI) invites applications for a 2-year postdoctoral researcher position in the Software Engineering section. The project explores repairing software without test suites or specifications by leveraging evidence embedded in the code and mined patterns across languages.

The successful candidate will design, implement, and evaluate a framework that combines program analysis with existing software patterns, work with real-world bugs and AI-modified code, and

Qualifications

• PhD in Software Engineering, Computer Science, Programming Languages, AI or a closely related field.
• Research experience or strong interest in program analysis, mining software repositories, automated software engineering, software testing, or software repair.
• Interest in AI-generated and AI-modified code reliability challenges.
• Experience with empirical evaluation, software repositories, or bug benchmarks is an advantage.
• Proficiency in written and spoken English, with good communication skills.

Responsibilities

• Investigate whether software defects can be repaired without tests or specifications.
• Contribute to design, implementation, and evaluation of a framework combining program analysis with mined patterns from existing software.
• Conduct experiments with real-world bugs and AI-modified code across multiple languages.

Skills

Program analysis

Mining software repositories

Automated software engineering

Software testing

Software repair

Education

PhD in Software Engineering/Computer Science/Programming Languages/Artificial Intelligence

Tools

C

Java

Python

Job description

The University of Southern Denmark (MMMI) invites applications for a 2-year postdoctoral researcher position in the Software Engineering section. The project explores repairing software without test suites or specifications by leveraging evidence embedded in the code and mined patterns across languages.

The successful candidate will design, implement, and evaluate a framework that combines program analysis with existing software patterns, work with real-world bugs and AI-modified code, and