Uppsala universitet, Institutionen för informationsteknologi

Institutionen för informationsteknologi har en ledande position inom såväl forskning som utbildning på alla nivåer. Institutionen har i dag ca 300 anställda varav 120 lärare och 110 doktorander. Drygt 4000 studenter läser en eller flera kurser vid institutionen varje år och ett 30-tal forskargrupper är kopplade hit. Mer info: http://www.it.uu.se.

Läs mer om våra förmåner och hur det är att jobba inom Uppsala universitet

Arbetsuppgifter/beskrivning av ämnesområdet: ”Managed languages”, dvs. språk som kör i en exekveringsmiljö/virtuell maskin (ex. Java, Python, R, JavaScript) tillåter hög nivå av abstraktion vilket tillåter tidseffektiv utveckling och undvikande av många felkällor. Bland annat ger de programmeraren en abstrakt modell av datorns minne där t.ex. allokering och avallokering av resurser kan hanteras automatiskt av exekveringsmiljön. Effektiviteten hos de algoritmer som driver kärnan i en exekveringsmiljö (minneshantering, schemaläggning, etc.) är av yttersta vikt för ett programs prestanda. Effektiva algoritmer leder till ökad komplexitet vilket i sin tur leder till ökat behov av rigorösa processer för att verifiera att algoritmerna är korrekta.

Projektets syfte är att utveckla effektiva algoritmer för nyckelaspekter i exekveringsmiljöer såsom minneshantering, schemaläggning och kompilatoroptimeringar, för specifika runtime-implementationer och med starkt fokus på formell verifikation. Projektet kräver därför förståelse och intresse för både lågnivåaspekter av programs exekvering och matematiska fundamenta för verifikation av lågnivåalgoritmer. Det finns ett stort antal intressanta utmaningar att tackla i kontextet av specifika implementationer.

Projektet kommer att bana väg för utvecklingen av nya korrekta och effektiva exekveringsmiljöer för managed languages som kommer att leda till ökad tillämplighet för managed languages.

Anställningen är upp till fem år och omfattar institutionstjänstgöring på en nivå av högst 20% (vanligtvis undervisning) samt kursstudier.

Kvalifikationskrav
Kandidater ska ha en masterexamen i datavetenskap eller motsvarande kunskaper i ämnen relevanta för arbetet. 

Att doktorera kräver med nödvändighet att en lär sig nya färdigheter och förvärvar nya kunskaper. Även om kunskap om systemprogrammering, exekveringsmiljöer, teorembevisning, programspråk och kompilatorer är meriterande kommer du att arbeta i en miljö där du kan lära dig vad som krävs från dina handledare, kollegor, angränsande experter, etc. Därför är det viktigt att du har hög inlärningsförmåga, kan motivera dig själv och är intresserad av området och dess möjligheter – i högre grad än specifika ämneskunskaper. 

Du måste dock redan vara bra på att skriva uppsats och vara en bra programmerare, då det inte finns tid att lära sig dessa färdigheter från grunden. Det är därför av stor vikt att du kan demonstrera detta i din ansökan, t.ex. genom länkar till kod, uppsatser, masteruppsats (även utkast), etc. 

Utöver ovanstående bör du kunna arbeta väl tillsammans med andra såväl som självständigt, både kunna ge och ta konstruktiv kritik, samt ha en välutvecklad förmåga till kritiskt tänkande och strukturerat arbete. Dessa kompetenser är lika viktiga som de tekniska kvalifikationerna.

Du förväntas kunna undervisa på svenska eller engelska. Excellenta kunskaper i muntlig och skriftlig engelska är ett krav.

Önskvärt/meriterande i övrigt
Kunskap om systemprogrammering, exekveringsmiljöer, teorembevisning, programspråk och kompilatorer är meriterande

Bestämmelser för doktorander återfinns i Högskoleförordningen 5 kap §§ 1-7 samt i universitetets regler och riktlinjer.

Ansökanska innehålla:

  • En beskrivning (1–2 sidor) om varför du söker tjänster, dina forskningsintressen, relevanta kvalifikationer för anställningen, samt bevis på att du är självmotiverad och kan jobba i ett team
  • En sammanfattning (2 sidor) av ditt masterarbete och om tillämpligt hur det relaterar till de efterfrågade kvalifikationerna för tjänsten
  • En meritförteckning (CV)
  • Kopia på relevanta betygshandlingar (översatta till svenska eller engelska)
  • En kopia av examensarbete (åtminstone ett utkast)
  • Eventuella publikationer (med beskrivning av sökandes specifika insats för varje publikation)
  • Länkar till artefakter eller kod (t.ex. GitHub eller Bitbucket) samt ev. andra relevanta dokument
  • Kontaktinformation till minst en referensperson
  • Datum för tidigast möjliga anställningsstart.

Lovande sökande kommer att ombedas att göra en praktisk programmeringsuppgift och en logikuppgift, och bjudas in till institutionen för en mer omfattande intervju.

Om anställningen 
Anställningen är tidsbegränsad, enligt HF 5 kap § 7. Omfattningen är heltid. Tillträde enligt överenskommelse. Placeringsort: Uppsala.

Upplysningar om anställningen lämnas av: professor Tobias Wrigstad 0736-971719 tobias.wrigstad@it.uu.se, universitetslektor Tjark Weber 018- 471 1099 tjark.weber@it.uu.se

Välkommen med din ansökan senast den 1 mars 2022, UFV-PA 2022/149.

Anställningsform Tidsbegränsad anställning
Anställningens omfattning Heltid
Tillträde Enligt överenskommelse
Löneform Fast lön
Antal lediga befattningar 1
Sysselsättningsgrad 100 %
Ort Uppsala
Län Uppsala län
Land Sverige
Referensnummer UFV-PA 2022/149
Facklig företrädare
  • ST/TCO, tco@fackorg.uu.se
  • Seko Universitetsklubben, seko@uadm.uu.se
  • Saco-rådet, saco@uadm.uu.se
Publicerat 2022-01-18
Sista ansökningsdag 2022-03-01

Tillbaka till lediga jobb