Doktorand i datavetenskap med inriktning mot programanalys

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 kompilatorkonstruktion, deklarativa specifikationsspråk, distribuerade utvecklingsmiljöer, säkerhetsövervakning för autonoma system och kodgranskningsanalys drivet av eye-tracking. Avdelningen har samarbeten både lokalt inom Lunds universitet, internationellt med andra universitet och med industripartner, såsom ABB och Ericsson. Avdelningen har medlemmar från tio olika länder och organiserar regelbundet gruppaktiviteter för att främja en positiv arbetsmiljö.

Avdelningen SDE utvecklar och utvärderar flera system för programanalys, inklusive kompilatorverktyget JastAdd , ramverket MetaDL för deklarativ programanalys i C och Java samt den utbyggbara Java-kompilatorn ExtendJ.

Mer om Avdelningen Software Development and Environments (sde.cs.lth.se/)
Mer om JastAdd (jastadd.cs.lth.se/web/)
Mer om MetaDL (github.com/lu-cs-sde/metadl)
Mer om ExtendJ (extendj.org/)

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

Projektet handlar om att förbättra deklarativa tillvägagångssätt för programanalys, med fokus på att utveckla nya metoder för att specialisera olika analysmetoder till olika krav och sammanhang, med tillämpning till mjukvaruutveckling och mjukvarusäkerhet. 

Anställningen finansieras av Wallenberg Autonomous Systems and Software Programme (WASP) och deltar i WASP NEST-projektet `ShiftLeft: Securing the Software Supply Chain by Code-centric analysis’, ett samarbete med doktorander, postdoktorander och andra forskare vid KTH, Chalmers och Umeå universitet och involverar flera industripartner.

Mer om WASP (wasp-sweden.org/)
Mer om ShiftLeft project (shiftleft.proj.kth.se/)

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 på deklarativa tillvägagångssätt för programanalys, särskilt med tillämpning på att förbättra mjukvarusäkerhet och stöd för mjukvaruutecklare.
• Utveckling av deklarativa gränssnitt för olika former av programanalys, inklusive integration av olika tekniker i samarbete med andra projektplatser. Ditt arbete kommer att bidra till att bygga en samarbetsplattform för säkerhetsanalys av mjukvara.
• Artefaktorienterad aktivitet: Du kommer att utveckla programvaruverktyg, algoritmer, och andra programvarukomponenter. Dessa ska utvärderas i realistiska scenarier och integreras med, samt delas, inom projektgruppen.
• Presentation av dina forskningsresultat vid regelbundna möten med akademiska projektpartner, inklusive personliga möten på andra platser i Sverige (cirka 1-2 gånger per år).
• Interaktion med industrin: Du kommer att få möjligheter att diskutera ditt arbete med tillämpade forskare inom industrin, inklusive ShiftLeft-projektets industriella projektpartner.
• Inom doktorandutbildning kommer du också att delta i WASP Graduate School, vilket erbjuder kurser inom olika tekniska ämnen, samt möjlighet för att delta i internationella resor och samarbete.

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

Mer om WASP Graduate School (wasp-sweden.org/graduate-school/)

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:  

• minst ett av följande tre kriterier nedan:
  - erfarenhet av kompilatorkonstruktion,
  - förståelse för grunderna inom statistisk programanalys, eller
  - förståelse för grunderna inom dynamisk programanalys
  (t.ex. i form av en universitetskurs, erfarenhet från relevant verksamhet, eller genom bidrag till relevanta Open Source projekt). 
• 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.
• mycket goda kunskaper i engelska, i tal och skrift.
• mycket god erfarenhet av programmering.

Meriterande 

För den aktuella forskarutbildningen är följande meriterande:  

• du uppfyller flera av kriterierna nedan:
  - erfarenhet av kompilatorkonstruktion,
  - förståelse för grunderna inom statistisk programanalys, eller
  - förståelse för grunderna inom dynamisk programanalys
  (t.ex. i form av en universitetskurs, erfarenhet från relevant verksamhet, eller genom bidrag till relevanta Open Source projekt). 
• erfarenhet av programmering i Java.
• erfarenhet av systemprogrammering och analys av programvarusårbarheter.
• erfarenhet av funktionell eller deklarativ programmering (logikprogrammering, referensattributgrammatik osv.)
• god förståelse för diskreta matematik som kan relateras till programanalys (gitterteori, typteori, Galois-kopplingar osv.)
• erfarenhet av statistiska metoder (Bayesian statistics, machine learning 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.

Mer om att jobba på Lunds universitet på lu.se.

Om anställningen

Anställningen är en visstidsanställning på heltid. 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!