Doktorand i datavetenskap

Uppsala universitet, Institutionen för informationsteknologi / Högskolejobb / Uppsala
2023-06-20
Observera att sista ansökningsdag har passerat.
➡️ Klicka här för den senare publicerade platsannonsen "Doktorand i datavetenskap" (publicerad 2023-08-07) ⬅️


Visa alla högskolejobb i Uppsala, Östhammar, Sigtuna, Österåker, Håbo eller i hela Sverige
Visa alla jobb hos Uppsala universitet, Institutionen för informationsteknologi i Uppsala, Gotland eller i hela Sverige

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 långsiktig skillnad i samhället. Vår viktigaste tillgång är alla de individer som med sin nyfikenhet och sitt engagemang gör Uppsala universitet till en av landets mest spännande arbetsplatser. Uppsala universitet har drygt 54 000 studenter, mer än 7 500 anställda och en omsättning på cirka 8 miljarder kronor.

Doktorand i datavetenskap med inriktning mot säker och effektiv programmering

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å http://www.it.uu.se/first?lang=sv

https://www.uu.se/om-uu/jobba-hos-oss/

Arbetsuppgifter/beskrivning av ämnesområdet
"Managed languages", dvs. språk som kör i en exekveringsmiljö/virtuell maskin (ex. Java, Erlang, 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.

Målet med forskningsprojektet är att förbättra säkerheten och effektiviteten i programmering. Det finns olika möjliga projekt inom denna bredare målsättning, t.ex. att förbättra typsystem eller andra former av statisk analys för att möjliggöra identifikation av felaktiga program vid kompilering; effektiv hantering av resurser i stil med Rust; utveckling av effektiva algoritmer för exekveringsmiljöer, exempelvis minneshantering eller schemaläggning; samt verifiering av algoritmer och protokoll för exekveringsmiljöer. Vi kommer att arbeta tillsammans med dig för att definiera ett lämpligt projekt baserat på din bakgrund, dina intressen och ditt långsiktiga mål.

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 på upp till fem år och omfattar institutionstjänstgöring på en nivå av högst 20% (vanligtvis undervisning) samt kursstudier.

Kvalifikationskrav
Behörig till utbildning på forskarnivå är den som har

- avlagt examen på avancerad nivå inom datavetenskap eller andra ämnen relevanta för arbetet, eller
- fullgjort minst 240 högskolepoäng, varav minst 60 högskolepoäng på avancerad nivå inklusive ett självständigt arbete om minst 15 högskolepoäng, eller
- på något annat sätt förvärvat i huvudsak motsvarande kunskaper.

Att doktorera kräver med nödvändighet att en lär sig nya färdigheter och förvärvar nya kunskaper.

Du kommer att arbeta i en miljö där du kan lära dig vad som krävs inom forskningsämnet 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 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 ska 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 https://regler.uu.se/?languageId=3.

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

Observera att detta är en förkortad version av annonsen. För att se den fullständiga annonsen vänligen klicka på "Ansök här" eller se Uppsala universitets hemsida: https://uu.se/jobb/

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.

För närvarande är det fler anställda med juridiskt kön man än juridiskt kön kvinna bland doktorander inom institutionen för informationsteknologi. Universitetet eftersträvar en jämnare fördelning av de juridiska könen inom denna kategori

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

Välkommen med din ansökan senast den 4 augusti 2023, UFV-PA 2023/2610.

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

Ansökan tas emot i Uppsala universitets rekryteringssystem.

Ersättning
Fast lön

Så ansöker du
Sista dag att ansöka är 2023-08-04
Klicka på denna länk för att göra din ansökan

Arbetsgivarens referens
Arbetsgivarens referens för detta jobb är "UFV-PA 2023/2610".

Omfattning
Detta är ett heltidsjobb.

Arbetsgivare
Uppsala Universitet (org.nr 202100-2932)

Arbetsplats
Uppsala universitet, Institutionen för informationsteknologi

Jobbnummer
7897110

Observera att sista ansökningsdag har passerat.

Prenumerera på jobb från Uppsala universitet, Institutionen för informationsteknologi

Fyll i din e-postadress för att få e-postnotifiering när det dyker upp fler lediga jobb hos Uppsala universitet, Institutionen för informationsteknologi: