Doktorand i datavetenskap med inriktning mot formell analys av program för säker hårdvara - Befattningen är under tillsättning eller redan tillsatt, och det är inte längre möjligt att lämna in en ansökan

Institutionen för datavetenskap vid Umeå universitet (www.cs.umu.se) söker en doktorand i datavetenskap med inriktning formell analys av program för säker hårdvara och inbyggda system. Anställningen är placerad vid institutionen för datavetenskap där du får möjlighet att arbeta i en dynamisk miljö med 130 anställda från mer än 20 länder. Forskarutbildningen omfattar fyra års heltidsstudier. Sista ansökningsdag är den 1 maj, 2021.

Forskargruppen för automatiserad programvaruutveckling (ASE) har ett brett spann av forskningsinriktningar, från utveckling av ny matematik för att mäta programvarusystems beteenden till att studera, utveckla och använda logik inom systemdesign och verifikationsmetoder. Gruppens största styrka är automatiserat resonerande för att bygga verifierade och pålitliga programvarusystem som garanterar sekretess, integritet och tillgänglighet. Medlemmar i ASE är internationellt ledande inom datavetenskaplig logik och verifiering, i synnerhet inom programvaruverifiering och automatiserat resonerande. Gruppen inriktar sig också på verifiering under exekvering (runtime verification), programsyntes (program synthesis), programvarutestning, cyber-fysiska system (cyber-physical systems) och säkerhet. ASE utvecklar två prisbelönta verktyg för verifiering och testning av programvarusystem som bygger på ESBMC och JBMC, vilka upprepade gånger vunnit internationella tävlingar inom programvaruverifiering och testning under de senaste 10 åren. Gruppen har gett viktiga bidrag till teori för och implementation av programvaruverifiering och automatiserat resonerande. ASE arbetar nära industrin och samarbetar exempelvis med ARM, AWS, Intel och Nokia.

WASP

Projektet är en del av Wallenberg AI, Autonomous Systems and Software Program (WASP), Sveriges största enskilda forskningsprogram någonsin! WASP är ett nationellt initiativ för strategisk grundforskning, utbildning och rekrytering. Programmet finansierar forskning inom artificiell intelligens och autonoma system som samarbetar med människor, anpassar sig till sin omgivning med hjälp av sensorer, information och kunskap, och bygger intelligenta system av system. Detta möjliggörs primärt av avancerad programvara, vilket också är ett forskningstema integrerat i programmet.

WASPs vision är forskningsexcellens och kompetens inom artificiell intelligens, autonoma system och mjukvara, till gagn för såväl samhälle som industri. För mer information se http://wasp-sweden.org/ .

Forskarskolan inom WASP erbjuder grunder, nya perspektiv och spetskunskap inom olika vetenskaper med undervisning av ledande forskare. Genom ett ambitiöst program med forskningsbesök, partneruniversitet och besökande föreläsare stödjer forskarskolan aktivt byggandet av ett starkt tvärvetenskapligt och internationellt professionellt nätverk mellan doktorander, forskare och industrin. Den erbjuder ett mervärde utöver universitetens existerande doktorandprogram och en unik möjlighet för studenter som lockas av internationell forskning i världsklass med hög industriell relevans.

Projektbeskrivning

Projektet kommer att utföra forskning inom kontroll/verifiering av programvarumodeller (software model checking), automatiserad testning, programsyntes (program synthesis), inbyggda & cyber-fysiska system (cyber-physical systems) och säkerhet.

Kvalifikationer

För att bli antagen till utbildning på forskarnivå krävs det att den sökande har grundläggande behörighet genom avlagd examen på avancerad nivå, eller slutförda kursfordringar om minst 240 högskolepoäng varav minst 60 högskolepoäng på avancerad nivå, eller motsvarande utländsk utbildning, eller motsvarande kvalifikationer.
För att bli antagen till utbildning på forskarnivå inom ämnet datavetenskap krävs att den sökande har godkända kurser om minst 90 högskolepoäng i ämnet datavetenskap eller som är direkt relevanta för den aktuella specialiseringen.

Den sökande förväntas ha utmärkta kunskaper inom ett eller flera av följande områden:

• Ändlig/begränsad kontroll av systemmodeller (Bounded model checking )
• Dynamisk symbolisk exekvering/abstrakt interpretation
• Testning med slumpmässiga indata (Fuzzing)
• Automatiskt resonerande/ första ordningens bevisföring
• Verifikation under exekvering (Runtime verification)
• Goda programmeringskunskaper
• Utmärkt förmåga att kommunicera och samarbeta
• Förmåga att uttrycka sig på engelska flytande i tal och skrift
• God förmåga att göra såväl muntliga som skriftliga presentationer

Övriga önskvärda meriter:

• Kunskap om och erfarenhet av implementering av verktyg för formell analys
• Kunskap och erfarenhet inom hård- och mjukvarudesign

Anställningsvillkor

Anställningen syftar till en doktorsexamen, och doktorandens huvuduppgift är att ägna sig åt egen forskarutbildning vilket innefattar såväl deltagande i forskningsprojekt som forskarutbildningskurser. I arbetsuppgifterna kan undervisning och annat institutionsarbete (upp till max 20%) ingå. Anställningen är tidsbegränsad till fyra år motsvarande heltid eller upp till fem år vid undervisning deltid. Önskat startdatum är 1 juni eller enligt överenskommelse.

Löneplaceringen sker enligt fastställd lönestege för doktorandanställning. Enligt Högskoleförordningen (12 kap, 2 §) kan beslutet om anställning inte överklagas.

Så här ansöker du

Du ansöker via vårt rekryteringssystem (se nedan).

En fullständig ansökan ska innehålla:

• Ett personligt brev som beskriver dina forskningsintressen, och varför du söker den utlysta anställningen. Brevet ska också innehålla din kontaktinformation
  • Styrkta kopior av examensbevis eller motsvarande
  • Curriculum Vitae (CV)
  • Kopior av kandidat- och/eller masteruppsats, samt andra relevanta publikationer om sådana finns
  • Kontaktinformation till två referenspersoner
  • Dokumentation och beskrivning av andra relevanta erfarenheter och kompetenser

Ansökan ska vara skriven på svenska eller engelska. Om bifogade dokument har annat originalspråk ska en översättning inkluderas. Bifogade dokument ska vara i Word eller pdf-format. Ansökan ska göras via Umeå universitets e-rekryteringssystem och vara inkommen senast 1 maj 2021. Logga in i systemet och ansök via knappen längst ner på webbsidan.

Institutionen för datavetenskap värdesätter de kvaliteter som en jämn könsfördelning tillför verksamheten. Vi ser därför gärna kvinnor som sökande till befattningen.

Välkommen med din ansökan!