Upp till 2 doktorander inom programspråk och programverifiering
Uppsala universitet, Institutionen för informationsteknologi / Högskolejobb / Uppsala
2025-12-12
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 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
https://www.uu.se/om-uu/jobba-hos-oss/lediga-jobbVill du forska inom automatiserad programverifiering och/eller programspråk, med stöd av kompetenta kollegor i en ledande internationell miljö? Vill du ha en arbetsgivare som satsar på ett hållbart medarbetarskap och erbjuder trygga, förmånliga arbetsvillkor? Då är du välkommen att söka anställning som doktorand på Institutionen för informationsteknologi, Uppsala universitet.
Projektbeskrivning
Doktorandtjänsterna är i tre projekt som alla syftar till att göra det enklare för utvecklare att skriva säkra, korrekta och effektiva program. Doktorandprojekt omfattar typiskt både en teoretisk del, där nya tekniker och metoder utvecklas, och implementationer som kan användas praktiskt.
Det första projektet fokuserar specifikt på numeriska program som förekommer brett, t.ex. i säkerhetskritiska (inbyggda) system, dataanalys, väderprognoser, fysik och ingenjörsvetenskap. Det andra projektet kretsar kring minnessäkerhet och tekniker för minnessäker programmering. Det tredje projektet fokuserar på "concurrency-safety".
Arbetsuppgifter
En doktorand ägnar sig främst åt den egna forskarutbildningen. Övrig tjänstgöring vid institutionen, som avser undervisning och administrativt arbete, kan ingå inom ramen för anställningen (max 20%).
Kvalifikationskrav
Behörighet till utbildning på forskarnivå regleras i Högskoleförordningen. Grundläggande behörighet har den som:
- avlagt examen på avancerad nivå inom datavetenskap eller inom ett liknande område, 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.
Högskolan får för en enskild sökande medge undantag från kravet på grundläggande behörighet, om det finns särskilda skäl. (7 kap. 39 § HF). För särskild behörighet, se
https://www.uu.se/medarbetare/fakultet/teknisk-naturvetenskapliga/utbildning-och-undervisning/utbildning-pa-forskarniva/amnen-och-studieplaner/amnen.Vi söker kandidater med:
- en matematisk bakgrund
- intresse för en eller flera av följande: statisk och/eller dynamisk programanalys, tekniker för programspråk (semantik, typsystem, exekveringssmiljöer etc.), formell verifiering eller programvaruteknik
- utmärkt kommunikationsförmåga med tillräckliga kunskaper i muntlig och skriftlig engelska,
- goda kunskaper i problemlösning,
- programmeringsskicklighet,
- förmåga att arbeta väl både på egen hand och tillsammans med andra i en blandad grupp.
Önskvärt/meriterande i övrigt
Erfarenhet och kurser inom ett eller flera av följande ämnen värderas (med något olika vikt beroende på projekt): statisk programanalys, dynamisk analys, programtestning, programverifiering, programlogik, semantik för programspråk, typsystem, implementation av programspråk (t.ex. kompilatorer, exekveringssmiljöer, garbage collection), programvaruteknik, felsökning.
Bestämmelser för doktorander återfinns i Högskoleförordningen 5 kap §§ 1-7 samt i
https://regler.uu.se/?languageId=3.Publiceringsdatum2025-12-12Så ansöker duAnsökan ska innehålla:
- ett personligt brev (högst 2 sidor) där du kort motiverar varför du söker denna tjänst, som dessutom bör innehålla: a) kandidatens forskningsintressen, b) bevis på den sökandes egen motivering och förmåga att arbeta i grupp, c) en sammanfattning av dennes examensarbete eller ett jämförbart större projekt, och d) tidigast möjliga startdatum för anställning;
- en meritförteckning (CV);
- examensbevis och registerutdrag med betyg (översatt till engelska eller svenska);
- examensrapport (eller utkast till sådan, och/eller annan egenproducerad teknisk eller vetenskaplig text), publikationer och andra relevanta dokument;
- kontaktinformation för minst två referenser (men inget referensbrev)
Lovande sökande kommer att bjudas in till en intervju på plats innan de anställs.
Om anställningen
Anställningen är tidsbegränsad, enligt HF 5 kap § 7. Omfattningen är heltid. Tillträde 1 april 2026 eller enligt överenskommelse. Placeringsort: Uppsala.
Upplysningar om anställningen lämnas av: Universitetslektor Eva Darulova, e-mail:
eva.darulova@it.uu.se eller Professor Tobias Wrigstad, e-mail:
tobias.wrigstad@it.uu.se.
Välkommen med din ansökan senast den 30 januari 2026, UFV-PA 2025/3891.
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.
Fackliga företrädare: Saco-S -
saco-s@uu.se, Seko -
seko@uadm.uu.se, ST (OFR/S) -
ofr@uu.se Ersättning Fast lön
Så ansöker du Sista dag att ansöka är 2026-01-30
Klicka på denna länk för att göra din ansökan Arbetsgivarens referens Arbetsgivarens referens för detta jobb är "UFV-PA 2025/3891".
Omfattning Detta är ett heltidsjobb.
Arbetsgivare Uppsala Universitet (org.nr 202100-2932)
Arbetsplats Uppsala universitet, Institutionen för informationsteknologi
Jobbnummer 9642159