arbetsgivarverket.se

Jobba Statligt

Forskningsassistent inom datavetenskap

  • Yrkesroll

    Forskare, IT

  • Anställning

    Heltid, 3 månader – upp till 6 månader

  • Lön

    Fast månads- vecko- eller timlön

  • Publicerad

    3 juni

  • Sök jobbet senast

    14 juni

Om jobbet

Forskningsassistent inom datavetenskap: minnessäkerhet och samtidighetssäkerhet för programspråk i exekveringsmiljöer

Institutionen för informationsteknologi har en ledande position inom såväl forskning som utbildning på alla nivåer.

Vi är idag Uppsala universitets tredje största institution och har i dag drygt 350 anställda varav 120 lärare och 120 doktorander. C:a 5000 grundutbildningsstudenter läser en eller flera kurser vid institutionen varje år. Mer information om oss hittar du på https://www.uu.se/institution/informationsteknologi

Beskrivning av ämnesområdet

Minnessäkerhet har är centralt för cybersäkerhet. Minnessäkerhet är en egenskap hos program som inte gör åtkomst till eller manipulerar minne på oavsiktliga sätt. Exempelvis lider minnessäkra program inte av otillåten eller ogiltig pekaråtkomst, “use-after-free”-fel, “double-free”-fel eller buffertöverskridningar. Programspråk som exekverar i en “managed runtime” ger starka garantier för minnessäkerhet genom automatisk minneshantering eller "skräpsamling". Samtidighetssäkerhet (eng. concurrency safety) avser att ett program beter sig som förväntat även när flera delar av det körs samtidigt,  detta innefattar till exempel frihet från kapplöpningsproblem (eng. data races), säkerställande av atomicitet och korrekthet under synkronisering. Det finns flera exempel på hur dessa två säkerhetaspekter kan hanteras tillsammans, till exempel i programspråket Rust (genom ett starkt statiskt typsystem med ägare) och Erlang (helt dynamiskt). I detta projekt undersöker vi hur man kan attackera båda dessa problem i imperativa programspråk genom deras exekveringsmiljö. Specifikt kommer vi att samarbeta med en stor mjukvaruleverantör för att göra ett vanligt programspråk samtidghetssäkert. Vårt angrepssätt är att lägga till begrepp som ägarskap till språkets exekveringsmiljö. Korrekt hantering av ägarskap kommer att säkerställas främst genom körtidskontroller vilket get bakåtkompatibilitet med befintlig fungerande kod. Effektiv kontroll möjliggörs genom att bygga på konstruktioner för samtidig skräpsamling och kommer att designas tillsammans med samtidighetsmodellen (eng. concurrency model). I slutet av projektet kommer en hel klass av problem och defekter att vara omöjliga i program som körs ovanpå denna exekveringsmiljö. Den framgångsrika kandidaten förväntas bedriva forsknings- och implementeringsarbete inom detta område samt ta en aktiv roll i att rådgiva doktorander.

Arbetsuppgifter 
Delta i forskning inom programspråk med stark koppling till hårdvara. Design och implementation av samtidighetsmodeller i en exekveringsmiljö skriven i C++. Handledning av masterstudenter inom ramarna för projektet, och angränsande projekt. Fysiska och digitala möten med ingenjörer och utvecklare för programspråket.

Kvalifikationskrav

Masterexamen i datavetenskap eller en utländsk examen som bedöms motsvara masterexamen i datavetenskap. Examen ska vara uppfylld senast vid tidpunkten då anställningsbeslutet fattas. Dokumenterad erfarenhet av “behaviour-oriented concurrency”.

Den sökande måste bevisa hög självmotivation i ansökan. Den sökande måste kunna arbeta bra i grupp, vara bra på att ge och ta emot konstruktiv kritik, och ha en stark förmåga till kritiskt tänkande och strukturerat arbete. Dessa kompetenser är lika viktiga som de tekniska kvalifikationerna. Vi kommer också att ta hänsyn till hur du passar in i projektet och den omgivande forskningsmiljön.

Utmärkt muntlig och skriftlig engelska är ett krav.

Önskvärt/meriterande i övrigt
Vi letar efter en kandidat med expertis inom programspråk, idealiskt inom concurrency-safety. Erfarenhet av programspråksdesign och -implementation är en stor fördel, men inte ett krav eftersom vi har expertis inom projektet som kan hjälpa kandidaten att lära sig det som behövs. 

Om anställningen 
Anställningen är tidsbegränsad, 4 månader. Omfattningen är heltid. Tillträde enligt överenskommelse. Placeringsort: Uppsala.

Ansökan

Ansökan skall innehålla en redogörelse (högst 2 sidor) om kandidatens motivation för att söka tjänsten, inklusive forskningsintressen och hur de kommer att stödja detta projekt, en beskrivning av doktorsavhandling, och bevis på självmotivation och konstruktivt arbete i ett team. Ansökan skall också innehålla ett CV, examina och betyg (översatta till engelska eller svenska), en kopia av masteruppsats eller doktorsavhandling, publikationer (och specifika beskrivningar av kandidatens egna bidrag), andra relevanta dokument och tidigaste möjliga startdatum. Minst ett rekommendationsbrev och kontaktinformation för referenser ska tillhandahållas direkt av referenserna till professor Wrigstad. 

Upplysningar om anställningen lämnas av: professor Tobias Wrigstad, tel 018-471 1072, tobias.wrigstad@it.uu.se

Välkommen med din ansökan senast den 14 juni 2024, UFV-PA 2024/2062.

Uppsala universitet är ett brett forskningsuniversitet med stark internationell ställning. Det yttersta målet är att bedriva utbildning och forskning av högsta kvalitet och relevans för att göra skillnad i samhället. Vår viktigaste tillgång är alla 7 600 anställda och 53 000 studenter som med nyfikenhet och engagemang gör Uppsala universitet till en av landets mest spännande arbetsplatser.

Läs mer om våra förmåner och hur det är att jobba inom Uppsala universitet
https://uu.se/om-uu/jobba-hos-oss/

Anställningen kan komma att säkerhetsprövas. Vid säkerhetsprövning är en förutsättning för anställning att sökande blir godkänd.

Vi undanber oss erbjudanden om rekryterings- och annonseringshjälp.

Ansökan tas emot i Uppsala universitets rekryteringssystem.

Lön

Individuell lönesättning

Lönetyp: Fast månads- vecko- eller timlön

Anställningsvillkor

100%. Tillträde: Enligt överenskommelse Visstidsanställning till