Postdoktorstilling i softwareudvikling: Programanalyse og repository mining

En 2-årig postdoktorstilling er tilgængelig ved Syddansk Universitet (SDU) i Software Engineering-sektionen af Maersk Mc-Kinney Moller-instituttet (MMMI). Den velkvalificerede kandidat vil bidrage til VILLUM-eksperimentprojektet “Is Correctness Necessary? An Experiment in Test-Free Program Repair.” Projektet undersøger, om softwarefejl kan repareres ved brug af oplysninger, der allerede findes i koden, uden at være afhængig af test-suiter eller specifikationer. Stillingen er tilgængelig fra den 1. februar 2027.

Ansøgningsfristen er 15. november 2026 kl. 23:59 (CET/CEST)

Projektbeskrivelse

Generering af kode bliver billigt; det at afgøre, om den er korrekt, er derimod ikke. Store sprogmodeller kan nu producere og modificere software i bemærkelsesværdig fart, og praksisser som ”vibe coding” udvider kløften mellem kodegenerering og validering. Krav om en omhyggeligt designet test-suite eller specifikation for hver genereret kodefragments sandsynlighed for at skalere er lav. Alligevel afhænger de fleste automatiserede reparationsmetoder af netop en sådan korrektheds-orakel: uden en fejlfri test eller specifikation har de hverken et klart reparationsmål eller en måde at vurdere en foreslået ændring på.

Denne projekt udfordrer denne 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 udtaget fra eksisterende software for at undersøge, om flere uafhængige beviskilder kan guide reparering, når tests eller specifikationer er utilgængelige. Tilgangen vil blive studeret 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 nok information til at understøtte sin egen reparation, og hvornår viden om den tilsigtede adfærd stadig er essentiel.

Hvad vi tilbyder

Vi tilbyder et dynamisk og støttende forskningsmiljø inden for et internationalt anerkendt institut. Du vil blive en del af et åbent, samarbejdende team, der værdsætter teamwork, professionel samvittighed og innovation. Software Engineering-sektionen tilbyder fleksible arbejdstider og stærk støtte til individuel udvikling, herunder vejledning og muligheder for at udvide dine færdigheder og ansvarsområder.

Som en del af Maersk Mc-Kinney Moller Instituttet er vores sektion involveret i en række nationale og europæiske forskningsprojekter og nyder et solidt netværk af akademiske og industrielle partnere. Denne stilling giver en mulighed for at engagere sig i disse samarbejder og arbejde med virkelige udfordringer. Vi opfordrer og støtter vores postdocs i at publicere deres forskning i anerkendte tidsskrifter og konferencer og at engagere sig i vidensudveksling med kolleger og eksterne forsknings- og industri-partnere.

Arbejdssproget er engelsk, og vi er stolte af en mangfoldig, inddragende og inspirerende arbejdsplads, der fremmer personlig og faglig vækst.

Hvad vi forventer

Den udpegede forsker vil undersøge, om softwarefejl kan repareres uden at have tillidsdata som test-suiter eller specifikationer. Kandidaten vil bidrage til design, implementering og evaluering af en ramme, der kombinerer programanalyse med mønstre udtaget fra eksisterende software. Arbejdet vil involvere eksperimenter med virkelige bugs og kode ændret af AI-kodningsassistenter på tværs af flera programmeringssprog. Vi søger en højt motiveret kandidat, der opfylder følgende kvalifikationer og karakteristika:

• Et ph.d.-niveau (færdiggjort eller tæt på fuldførelse) inden for Software Engineering, Computer Science, Programming Languages, Artificial Intelligence eller et nært beslægtet felt.
• Forsknings-erfaring eller stærkt interesse i et eller flere af følgende områder: programanalyse, minedning af software-repositorier, automatiseret softwareingeniørarbejde, softwaretest eller softwarereparation.
• Interesse for softwarepålidelighedsudfordringer, der opstår fra AI-genereret og AI-modificeret kode.
• Erfaring med empirisk evaluering, software-repositorier eller fejl-benchmarks er en fordel.
• Erfaring med et eller flere af C, Java og Python er en fordel.
• Beherskelse af skriftlig og mundtlig engelsk med gode kommunikationsevner.
• Evne til at arbejde selvstændigt og i samarbejde inden for et forsker-team.
• Et stærkt forskningsregistr eller demonstreret forskningspotentiale gennem publikationer eller andre relevante forskningsprodukter.

Arbejdsstedbeskrivelse

Postdoc’en vil være ansat i Software Engineering-sektionen ved Maersk Mc-Kinney Moller-instituttet (MMMI), SDU. MMMI er et internationalt anerkendt forskningsinstitut inden for Fakultetet for Ingeniørvidenskab, kendt for sine bidrag til software engineering, robotteknik og kunstig intelligens. Software Engineering-sektionen omfatter en række forskningsområder inden for softwareudvikling, dataanalyse og intelligente systemer, og den spiller en central rolle i flere igangværende europæiske projekter.

Vores arbejdsplads er virkelig international og samarbejdsorienteret. Forskere i sektionen kommer fra forskellige baggrunde og arbejder tæt sammen i tværfaglige projekter. Vi drager fordel af state-of-the-art faciliteter og en stærk administrativ og teknisk støttestruktur. Instituttet opretholder tæt samarbejde med andre afdelinger og centre ved SDU samt med industrielle partnere og giver et levende miljø, hvor teoretisk forskning møder praktisk anvendelse.

Stillingen vil være placeret på SDU’s Odense-campus, som tilbyder en attraktiv ramme og et rigt campusliv i Odense, Danmarks centrum for robotteknologi og teknologisk udvikling.

Yderligere information

For yderligere oplysninger, venligst kontakt lektor Abhishek Tiwari ([email protected]) eller adjunkt Jyoti Prakash ([email protected])

Hvis du oplever tekniske problemer, bedes du kontakte vores e-mail-support.

Ansøgning

Ansøgere opfordres til at læse SDU-informationen om, hvordan man ansøger.

Bedømmelsen af kandidaterne baseres på ansøgningsmaterialet, og ansøgningen skal indeholde:

• Motiveret ansøgning.
• Curriculum Vitae.
• Master- og PhD-beviser eller tilsvarende (original og en officiel engelsk oversættelse).
• Komplet liste over publikationer.
• Publikationer mest relevante for stillingen.
• Resumé og dokumentation af undervisningserfaring, hvis relevant for stillingen.
• En forskningsudtalelse kan inkluderes.
• Referencer/referencesbrev kan også inkluderes.
• En erklæring/dokumentation af andre kvalifikationer relevante for stillingen kan også inkluderes.

Alle dokumenter skal være på engelsk og i PDF-format. CPR-nummer (civilregistreringsnummer) skal være overstreget. Alle PDF-filer skal være låsefri, kunne bindes og må ikke være adgangskodebeskyttede.

INDSENDINGSVEJLEDNING: 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 en maksimal størrelse på 50 MB per fil).

Ansøgningsfristen er 15. november 2026 kl. 23:59 (CET/CEST)

Vurderings- og udvælgelsesproces

Ansøgninger vil blive vurderet af en ekspert eller en bedømmelseskomité. Udvælgelse kan finde sted, og kun udvalgte kandidater vil modtage en skriftlig vurdering. Læs om udvælgelse hos SDU. Interviews og tests kan være en del af den samlede evaluering. Læs om vurderings- og udvælgelsesprocessen.

Ansættelsesvilkår

Udnævnelse som postdoc er midlertidig for en indledende 2-års periode, og den foretrukne startdato er 1. februar 2027. Forlængelse kan være mulig afhængigt af tilgængelige midler.

Ansættelse som postdoc kræver akademiske kvalifikationer på ph.d.-niveau på ansættelsestidspunktet. Ansættelsen vil være i overensstemmelse med overenskomsten mellem Finansministeriet og Danske Faglige Sækkers for akademikere i staten inklusive den tilhørende runde om protokollen for jobstrukturen for akademisk personale ved danske universiteter og bestemmelserne for postdoc som beskrevet deri.

Løn fastsættes i overensstemmelse med den gældende overenskomst og baseret på objektive og kønsneutrale kriterier, herunder indholdet af stillingen, ansvarsområder og kvalifikationskrav. Som ansøger har du ret til oplysninger om startlønnen og lønområdet for stillingen. Disse oplysninger vil blive givet under rekrutteringsprocessen. SDU indsamler ikke oplysninger om ansøgeres tidligere lønforhold. Yderligere oplysninger 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 “self-organizer”.

Syddansk Universitet ønsker, at dets personale afspejler det omkringliggende samfund og opfordrer derfor alle, uanset personlig baggrund, til at ansøge om stillingen. SDU udfører forskning i kritiske teknologier, som på grund af risiko for uønsket vidensoverførsel er underlagt en række sikkerhedsforanstaltninger. Derfor kan baseret på oplysninger fra åbne kilder baggrundstjek udføres af kandidater til stillingerne.

Yderligere oplysninger for internationale ansøgere om at komme ind og arbejde i Danmark. Du kan også besøge WorkinDenmark for yderligere information.

Yderligere information om Fakultetet for Ingeniørvidenskab.

Placering

Odense M, Danmark

Ansøg før

2026-11-15T22:59:00+00:00