Doktorand i datavetenskap med inriktning mot programanalys

Lunds universitet grundades 1666 och rankas återkommande som ett av världens främsta lärosäten. Här finns omkring 47 000 studenter och mer än 8 800 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 arbetsplatsen

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.

Anställningen finansieras av Wallenberg Autonomous Systems and Software Programme (WASP) och är en del av WASP NEST-projektet `ShiftLeft: Securing the Software Supply Chain by Code-centric analysis . Den utgör Lunds del i ett samarbete med doktorander, postdoktorander och andra forskare vid KTH, Chalmers och Umeå universitet och involverar flera industripartner, inklusive företag i Lund och Malmö.

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/)
Mer om WASP:  (wasp-sweden.org/)
Mer om ShiftLeft project: (shiftleft.proj.kth.se/)
Arbetsuppgifter

Huvuduppgiften för en doktorand är att ägna sig åt sin forskarutbildning vilket innefattar såväl deltagande i forskningsprojekt som forskarutbildningskurser. I arbetsuppgifterna ingår medverkan i undervisning och annat institutionsarbete, dock max 20 % av arbetstiden.

Du kommer att fokusera på forskning om deklarativa tillvägagångssätt för programanalys tillämpad på att förbättra säkerheten i mjukvaruförsörjningskedjor, med målet att utveckla effektiva tekniker för att bygga en deklarativ kodcentrerad plattform som stöder kontinuerlig säkerhetsanalys.

Arbetsuppgifterna innefattar:

Forskning på deklarativa tillvägagångssätt för programanalys tillämpad på att förbättra säkerheten i mjukvaruförsörjningskedjor. Du kommer att arbeta mot målet att utveckla effektiva tekniker för att bygga en deklarativ kodcentrerad plattform som stöder kontinuerlig säkerhetsanalys.
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 2-4 gånger per år).
Interaktion med industrin: Du kommer att få möjligheter att diskutera ditt arbete med tillämpade forskare inom industrin, inklusive våra industriella projektpartner som Cparta Cyber Defense, Debricked, Ericsson, Recorded Futures, och SEB.
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.

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

Behörighet

Grundläggande behörighet till utbildning på forskarnivå har den som har:

avlagt examen på avancerad nivå eller 
fullgjort kursfordringar om minst 240 högskolepoäng, varav minst 60 högskolepoäng på avancerad nivå eller
på något annat sätt inom eller utom landet förvärvat i huvudsak motsvarande kunskaper.

Kraven på särskild behörighet i datavetenskap uppfyller den 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:

Mycket goda kunskaper i engelska, i tal och skrift.
Omfattande programmeringserfarenhet.

För annonsen i sin helhet- vänligen se: https://lu.varbi.com/se/what:job/jobID:711118/
LTH – Lunds Tekniska Högskola – är den tekniska fakulteten vid Lunds universitet. På LTH utbildar vi människor, bygger kunskap för framtiden och arbetar hårt för att utveckla samhället. Vi skapar utrymme för briljant forskning och inspirerar till kreativ utveckling av teknik, arkitektur och design. Här läser närmare 10 000 studenter. Varje år publicerar våra forskare – varav många verkar inom världsledande profilområden – omkring 100 avhandlingar och 2 000 vetenskapliga rön. En rad forskningsresultat och studentarbeten förädlas till innovationer. Tillsammans utforskar och skapar vi – till nytta för världen.

Vi undanber oss alla kontakter från annonsförsäljare, rekryterings- och bemanningsföretag på grund av statliga upphandlingsregler.