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.

Anställningen finansieras av Excellence Center at Linköping - Lund in Information Technology (ELLIIT) och är ett samarbete med forskargruppen för språkteknologi (Natural Language Processing) vid Linköpings universitet, som ingår i avdelningen för artificiell intelligens och integrerade datorsystem (AIICS).

Mer om ELLIIT (elliit.se)

Mer om avdelningen för artificiell intelligens och integrerade datorsystem vid Linköpings universitet (liu.se/organisation/liu/ida/aiics)

Arbetsuppgifter

Du kommer framförallt att ägna dig åt din forskarutbildning, vilket innefattar såväl deltagande i forskningsprojekt som forskarutbildningskurser, seminarier och konferenser.

Arbetsuppgifterna innefattar:

Forskning inom automatisk programanalys och programtransformation, med tillämpning på att förhindra oavsiktliga beteendeförändringar vid refaktorisering och liknande uppgifter inom programevolution. Du kommer att utforska angreppssätt som kan stödja verklig mjukvaruevolution och undersöka kvalitativa aspekter av dessa angreppssätt.

Tillämpning av lämpliga forskningsmetoder: beroende på hur forskningen utvecklas kan olika, och eventuellt nya, metoder behövas för att ge robusta svar på de underliggande forskningsfrågorna. Du kommer att lära dig, tillämpa och eventuellt bidra till utvecklingen av lämpliga metoder.

Artefaktorienterad aktivitet: Du kommer att utveckla programvaruverktyg, algoritmer och andra programvarukomponenter. Dessa ska utvärderas i realistiska scenarier samt integreras och delas inom projektgruppen.

Presentation och samarbete: Du kommer att presentera dina forskningsresultat vid den årliga ELLIIT-workshopen i södra Sverige och diskutera ditt arbete vid möten med akademiska projektpartner, inklusive personliga möten med våra samarbetspartner i Linköping.

Interaktion med industrin: Du kommer att få möjligheter att diskutera ditt arbete och samarbeta med forskare inom industrin, särskilt i Lund.

I arbetsuppgifterna ingår även medverkan i undervisning och annat institutionsarbete (dock max 20 % av arbetstiden).

Kvalifikationer

För att kunna antas och anställas som doktorand behöver du uppfylla kraven nedan.

För annonsen i sin helhet, vänligen se: https://lu.varbi.com/what:job/jobID:986999/

Välkommen med din ansökan!