Doktorand i datavetenskap med inriktning mot programanalys
Lunds universitet
- Lund, Skåne
- Tillfälligt
- Heltid
- 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.
- 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.
- 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.
- Mycket goda kunskaper i engelska, i tal och skrift.
- Omfattande programmeringserfarenhet.
- Bedömd förmåga till självständigt arbete och förmåga att formulera och angripa vetenskapliga problem.
- Förmåga till skriftlig och muntlig kommunikation.
- Övriga erfarenheter relevanta för utbildningen på forskarnivå, t ex yrkeserfarenhet.
- Mycket god förmåga till problemlösning.
- Erfarenhet av programmering i Java.
- Erfarenhet av kompilatorkonstruktion, statisk programanalys, dynamisk programanalys, systemprogrammering, och analys av programvarusårbarheter.
- Erfarenhet av funktionell eller rent deklarativ programmering (logikprogrammering, referensattributgrammatik osv.)