En 2-årig postdoc-stilling er ledig ved Syddansk Universitet i Software Engineering-sektionen på Maersk Mc-Kinney Moller Instituttet (MMMI). Den succesfulde kandidat vil bidrage til VILLUM Experiment-projektet “Is Correctness Necessary? An Experiment in Test-Free Program Repair.” Projektet undersøger, om softwarefejl kan repareres ved hjælp af information fundet i selve koden, uden at skulle stole på testsuiter eller specifikationer. Stillingen er ledig fra den 1. februar 2027.
Ansøgningsfristen er den 15. november 2026 kl. 23:59 (CET/CEST).
Projektbeskrivelse
Det bliver billigt at generere kode; det gør det ikke at fastslå, om den er korrekt. Store sprogmodeller kan nu producere og ændre software med bemærkelsesværdig hastighed, og praksisser som “vibe coding” udvider kløften mellem kodegenerering og -validering. At kræve en omhyggeligt designet testsuite eller specifikation for hvert genereret fragment vil sandsynligvis ikke skalere. Alligevel afhænger de fleste automatiserede reparationsmetoder af netop et sådant korrektionsorakel: uden en fejlagtig test eller specifikation har de hverken et klart reparationsmål eller en måde at vurdere en foreslået ændring på.
Dette projekt udfordrer den afhængighed ved at undersøge, om softwarefejl kan repareres ved hjælp af beviser, der allerede er til stede i koden. Det vil kombinere programanalyse med mønstre udvundet fra eksisterende software for at udforske, om flere uafhængige kilder til beviser kan guide reparation, når tests eller specifikationer ikke er tilgængelige.
Tilgangen vil blive undersøgt på tværs af forskellige programmeringssprog og evalueret på både virkelige fejl og kode ændret af AI-kodningsassistenter. Det bredere mål er at fastslå, hvornår kode indeholder tilstrækkelig information til at understøtte sin egen reparation, og hvornår kendskab til den tilsigtede adfærd forbliver afgørende.
Hvad Syddansk Universitet tilbyder
Syddansk Universitet tilbyder et dynamisk og støttende forskningsmiljø inden for et internationalt anerkendt institut. Du vil blive en del af et åbent, samarbejdsorienteret team, der værdsætter teamwork, faglig omhu og innovation. Software Engineering-sektionen tilbyder fleksible arbejdsforhold og stærk støtte til individuel udvikling, herunder mentorordninger og muligheder for at udvide dine færdigheder og ansvarsområder.
Som en del af Maersk Mc-Kinney Moller Instituttet er Syddansk Universitets sektion involveret i en række nationale og europæiske forskningsprojekter og nyder godt af et robust netværk af akademiske og industrielle partnere. Denne stilling giver mulighed for at deltage i disse samarbejder og arbejde med virkelige udfordringer.
Syddansk Universitet opfordrer og støtter Syddansk Universitets postdocs i at publicere deres forskning i anerkendte tidsskrifter og på konferencer samt at deltage i vidensudveksling med kolleger og eksterne forsknings- og industripartnere. Arbejdssproget er engelsk, og Syddansk Universitet er stolt af en mangfoldig, inkluderende og inspirerende arbejdsplads, der fremmer personlig og faglig vækst.
Hvad Syddansk Universitet forventer
Den udpegede forsker vil undersøge, om softwarefejl kan repareres uden at skulle stole på testsuiter eller specifikationer. Kandidaten vil bidrage til design, implementering og evaluering af et framework, der kombinerer programanalyse med mønstre udvundet fra eksisterende software. Arbejdet vil omfatte eksperimenter med virkelige fejl og kode ændret af AI-kodningsassistenter på tværs af flere programmeringssprog. Syddansk Universitet søger en yderst motiveret kandidat, der opfylder følgende kvalifikationer og karakteristika:
Kvalifikationer:
- En ph.d. (afsluttet eller tæt på afslutning) i Software Engineering, Datalogi, Programmeringssprog, Kunstig Intelligens eller et nært beslægtet felt.
- Forskningserfaring eller stærk interesse inden for et eller flere af følgende områder: programanalyse, mining af software-repositories, automatiseret software engineering, softwaretest eller software-reparation.
- Interesse for softwarepålidelighedsudfordringer, der opstår fra AI-genereret og AI-modificeret kode.
- Erfaring med empirisk evaluering, software-repositories eller fejlbenchmarks er en fordel.
- Erfaring med et eller flere af C, Java og Python er en fordel.
- Færdigheder i skriftligt og mundtligt engelsk, med gode kommunikationsevner.
- Evne til at arbejde selvstændigt og samarbejde inden for et forskningsteam.
- En stærk forskningsprofil eller demonstreret forskningspotentiale gennem publikationer eller andre relevante forskningsresultater.
Arbejdspladsbeskrivelse
Postdocen vil blive ansat i Software Engineering-sektionen ved Maersk Mc-Kinney Moller Instituttet (MMMI), Syddansk Universitet. MMMI er et internationalt anerkendt forskningsinstitut inden for Det Tekniske Fakultet, kendt for sine bidrag til software engineering, robotik og kunstig intelligens. Software Engineering-sektionen omfatter en række forskningsområder inden for softwareudvikling, dataanalyse og intelligente systemer, og den spiller en nøglerolle i flere igangværende europæiske projekter.
Syddansk Universitets arbejdsplads er international og samarbejdsorienteret. Forskere i sektionen kommer fra forskellige baggrunde og arbejder tæt sammen om tværfaglige projekter. Syddansk Universitet drager fordel af topmoderne faciliteter og en stærk administrativ og teknisk supportstruktur.
Instituttet opretholder et tæt samarbejde med andre afdelinger og centre ved Syddansk Universitet samt med industripartnere, hvilket skaber et levende miljø, hvor teoretisk forskning møder praktisk anvendelse. Stillingen vil være placeret på Syddansk Universitets Odense-campus, som tilbyder attraktive omgivelser og et rigt campusliv i Odense, Danmarks knudepunkt for robotik og teknologiudvikling.
Yderligere information
For yderligere information, kontakt venligst lektor Abhishek Tiwari (abti@mmmi.sdu.dk) eller adjunkt Jyoti Prakash (jyp@mmmi.sdu.dk).
Hvis du oplever tekniske problemer, bedes du kontakte Syddansk Universitets e-mailsupport.
Ansøgning
Ansøgere opfordres til at læse Syddansk Universitets information om ansøgning.
Vurderingen af kandidaterne er baseret på ansøgningsmaterialet, og ansøgningen skal indeholde:
- Motiveret ansøgning.
- Curriculum Vitae.
- Master- og ph.d.-gradscertifikater eller tilsvarende (original og en officiel engelsk oversættelse).
- Fuldstændig publikationsliste.
- Publikationer, der er mest relevante for stillingen.
- Oversigt og dokumentation for undervisningserfaring, hvis relevant for stillingen.
- En forskningserklæring kan vedlægges.
- Referencer/anbefalingsbreve kan også vedlægges.
- En erklæring/dokumentation for andre kvalifikationer relevante for stillingen kan også vedlægges.
Alle dokumenter skal være på engelsk og i PDF-format. CPR-nummer (personnummer) skal streges ud. Alle PDF-filer skal være ulåste, tillade binding og må ikke være adgangskodebeskyttede.
INDIKATION FOR INDSENDELSE: Motiveret ansøgning skal uploades under 'Cover letter' (maks. 5 MB), Curriculum Vitae skal uploades under 'Resume' (maks. 5 MB). Alle andre dokumenter skal uploades under 'Miscellaneous documents' (maks. 10 filer med maks. 50 MB pr. fil).
Ansøgningsfristen er den 15. november 2026 kl. 23:59 (CET/CEST).
Vurderings- og udvælgelsesproces
Ansøgninger vil blive vurderet af en ekspert- eller vurderingskomité. Shortlisting kan anvendes, og kun shortlistede kandidater vil modtage en skriftlig vurdering. Læs om shortlisting hos Syddansk Universitet. Interviews og tests kan være en del af den samlede evaluering. Læs om vurderings- og udvælgelsesprocessen.
Ansættelsesvilkår
Ansættelse som postdoc er midlertidig for en indledende 2-årig periode, og den foretrukne startdato er den 1. februar 2027. Forlængelse kan være mulig afhængigt af tilgængelig finansiering.
Ansættelse som postdoc kræver akademiske kvalifikationer på ph.d.-niveau på ansættelsestidspunktet. Ansættelsen vil ske i overensstemmelse med overenskomsten mellem Finansministeriet og Akademikerne for akademikere i staten, herunder den tilhørende cirkulære om protokollen for stillingsstrukturen for videnskabeligt personale ved danske universiteter og bestemmelserne for postdoc som beskrevet heri.
Løn fastsættes i henhold til gældende overenskomst og baseret på objektive og kønsneutrale kriterier, herunder stillingens indhold, ansvarsområder og kvalifikationskrav. Som ansøger har du ret til information om startløn og løninterval for stillingen. Denne information vil blive givet under rekrutteringsprocessen. Syddansk Universitet indsamler ikke information om ansøgeres tidligere løn. Yderligere information om løn og beskatning.
Personer ansat i stillingen kan, baseret på en specifik individuel ledelsesmæssig vurdering, blive fritaget for tidsregistrering, også kendt som en “selvtilrettelægger”.
Syddansk Universitet ønsker, at Syddansk Universitets medarbejdere afspejler det omgivende samfund og opfordrer derfor alle, uanset personlig baggrund,
