Doktorand i datavetenskap med inriktning mot programtransformation

Lunds universitet grundades 1666 och rankas återkommande som ett av världens främsta lärosäten. Här finns omkring 46 000 studenter och 8 500 medarbetare i Lund, Helsingborg och Malmö. Vi förenas i vår strävan att förstå, förklara och förbättra vår värld och människors villkor.

Lunds universitet välkomnar sökande med olika bakgrund och erfarenheter. Jämställdhet, lika villkor och mångfald är grundläggande principer för alla delar av vår verksamhet.

Beskrivning av verksamheten

Tjänsten är inom avdelningen Software Development and Environments (SDE), en del av institutionen för datavetenskap. Avdelningen utforskar nya verktyg, språk och metoder för att stödja mjukvaruutveckling och bedriver forskning inom en rad ämnen som inkluderar refaktorisering, programanalys, kompilatorkonstruktion, deklarativa specifikationsspråk, distribuerade utvecklingsmiljöer och automatisk programreparation. Avdelningens forskning omfattar starka samarbeten både lokalt inom Lunds universitet, internationellt med andra universitet och med industripartner, såsom ABB och Ericsson, inklusive forskning som drivs av industridoktorander. Avdelningen har för närvarande tolv medlemmar och organiserar regelbundet gruppaktiviteter för att främja en positiv arbetsmiljö.

Avdelningen utvecklar aktivt metakompileringsramverket JastAdd, som utgör grunden för flera kompilatorer och mjukvaruverktyg, däribland avdelningens utbyggbara Java-kompilator ExtendJ och de statiska analysverktygen IntraJ och MetaDL.

Mer om avdelningen Software Development and Environments (sde.cs.lth.se/)

Mer om JastAdd (jastadd.cs.lth.se/web/)

Mer om ExtendJ (extendj.org)

Mer om MetaDL (github.com/lu-cs-sde/metadl)

Att vara doktorand

Som doktorand är du både antagen som student och anställd vid Lunds universitet.

Som forskarstuderande tränas du i ett vetenskapligt förhållningssätt. Det kan kort beskrivas som att du får övning i att tänka kritiskt och analytiskt, att du får lösa problem självständigt med hjälp av rätt metodval och du får en forskningsetisk medvetenhet. Dessutom ges möjlighet för dig som doktorand att arbeta med projekt, att utveckla dina ledaregenskaper och din pedagogiska förmåga. Under hela din studietid guidas du av handledare. Forskarstudierna avslutas med en avhandling och doktorsexamen.

Mer om att vara doktorand vid LTH på lth.se.

Ämnes- och projektbeskrivning

Forskningsprojektet syftar till att utveckla nya verktyg och tekniker som upprätthåller strikta skyddsräcken vid refaktorisering och andra former av mjukvaruevolution. Vi utgår från en opålitlig källa till programtransformationer, till exempel en mänsklig utvecklare eller en stor språkmodell. Skyddsräckena ska sedan granska, styra och komplettera varje sekvens av programtransformationer för att upptäcka och åtgärda oavsiktliga beteendeförändringar.