Doktorand i datavetenskap med inriktning mot programtransformation

at Lund University, Lund, Sweden

Listed on EduAtlas: live school vacancies from schools’ own careers pages and public job services. Apply on lu.varbi.com. 1 similar post in Sweden.

Salary

Not given in the advert

Closing date

Open until filled

Start

Not given in the advert

Type of post

Research

First seen

5 November 2026, on a public job listing

ApplySave

On lu.varbi.com · Send it by: WhatsApp · LinkedIn · Email · X

See 10 more vacancies at Lund University

Find posts like this from Claude: add EduAtlas to Claude.

The advert

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 Jast Add, 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 Jast Add (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. Behörighetskrav Grundläggande behörighet till utbildning på forskarnivå uppfyller du som har: - avlagd examen på avancerad nivå eller - fullgjorda kursfordringar om minst 240 högskolepoäng, varav minst 60 högskolepoäng på avancerad nivå eller - på något annat sätt förvärvat i huvudsak motsvarande kunskaper. Särskild behörighet för datavetenskap uppfyller du som har: - minst 60 högskolepoäng på avancerad nivå med relevans för ämnesområdet, eller - civilingenjörsexamen inom datateknik, elektroteknik, informations- och kommunikationsteknik, teknisk fysik, eller teknisk matematik. Övriga krav För att tillgodogöra sig den aktuella forskarutbildningen krävs även: - Kunskaper eller erfarenhet inom minst ett av följande områden (visad t.ex. i form av en universitetskurs, erfarenhet från relevant verksamhet eller genom bidrag till relevanta open source-projekt): - o kompilatorkonstruktion, eller - o grunderna inom statisk programanalys. - God förmåga till självständigt arbete och förmåga att formulera och angripa vetenskapliga problem. - God förmåga till skriftlig och muntlig kommunikation. - God samarbetsförmåga. - Mycket goda kunskaper i engelska, i tal och skrift. - Mycket god erfarenhet av programmering (visad t.ex. genom yrkeserfarenhet, bidrag till open source-projekt eller utmärkta resultat i universitetskurser). - Uthållighet och förmåga att planera och strukturera ditt eget arbete. - Nyfikenhet och vilja att lära dig och ta till dig nya tekniker, särskilt inom projektets tvärvetenskapliga ram. Meriterande För den aktuella forskarutbildningen är det meriterande om du kan visa erfarenhet eller kunskaper inom ett eller flera av följande områden: - Utveckla verktyg för automatisk programtransformation, såsom - o refaktoriseringsverktyg, eller - o verktyg för metaprogrammering. - Mjukvaruutveckling i team, särskilt inom: - o professionell mjukvaruutveckling, - o open source-projekt, eller - o vidareutveckling av äldre programvara (legacy-system). - Dynamic program analysis. - Programmering i Java. - Funktionell eller deklarativ programmering (logikprogrammering, referensattributgrammatik osv.). - Språkteknologi, maskininlärning och/eller tillämpning av stora språkmodeller, såsom - o arbete med de underliggande maskininlärningsteknikerna, t.ex. latenta rum/inbäddningsrum, representationsinlärning eller transformers, - o träning eller finjustering av sådana modeller, eller - o tillämpning av dem på uppgifter inom mjukvaruutveckling. - Systematisk utvärdering av mjukvarusystem och relevanta statistiska metoder. - Systemprogrammering. - Områden inom diskret matematik med koppling till programanalys (gitterteori, typteori, Galois-kopplingar osv.). Vi erbjuder Lunds universitet är en statlig myndighet vilket innebär att du får särskilda förmåner, generös semester och en förmånlig tjänstepension. Projektet erbjuder dessutom samarbetsmöjligheter med Linköpings universitet genom den gemensamma handledningsstrukturen, samt möjligheter till kontakt med industrin via ELLIIT, till exempel vid den årliga ELLIIT-workshopen. Mer om att jobba på Lunds universitet på lu.se. https://www.lu.se/om-universitetet/jobba-hos-oss Om anställningen Anställningen är en visstidsanställning på heltid. Planerat tillträde är våren 2027, eller enligt överenskommelse, dock senast 2027-12-31. Forskarutbildningen är fyra år vid heltidsstudier. Vid undervisning och annat institutionsarbete förlängs anställningen i motsvarande grad. Bestämmelser gällande anställning som doktorand finns i Högskoleförordningen (1993:100), 5 kap 1-7 §§. Mer om anställningsvillkor för doktorander på Lunds universitets medarbetarwebb. Så här söker du Ansökan ska skrivas på engelska och till din ansökan ska du bifoga: - CV och personligt brev med motivering till varför du är intresserad av utbildningsplatsen/anställningen och på vilket sätt forskningsprojektet matchar dina intressen och din utbildningsbakgrund. - Kopior på utfärdade studieintyg och/eller examensbevis. Dessa ska styrka din grundläggande och särskilda behörighet till forskarutbildningsämnet och visa att du har de ämneskunskaper som krävs för forskarutbildningsprojektet. - Övrigt som du önskar åberopa (kopior av betyg, uppgifter till referenser, rekommendationsbrev etc.). Välkommen med din ansökan!

About Lund University

Type

University

Other vacancies at Lund University

Lund University: full school record · More vacancies in Sweden

Linked to this school by its name and place in the advert.