Doktorand i datalogi

Doktorand i datalogi med fokus på praktiskt användbar verifiering för numerisk kod

Vill du arbeta med automatiserad programverifiering och/eller mjukvaruutveckling, 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? Välkommen att söka anställning som doktorand på Uppsala universitet. 

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 är lärare och 120 är doktorander. C:a 5000 grundutbildningsstudenter läser en eller flera kurser vid institutionen varje år. Mer information om oss hittar du på institutionen för informationsteknologis webbplats.

Doktorandtjänsten är på avdelningen för datalogi, specifikt inom programspråksgruppen som för närvarande består av sju seniora forskare och åtta doktorander som arbetar med olika aspekter av programspråksdesign, verifiering och mjukvaruutveckling. Utöver tekniska samarbeten träffas gruppen regelbundet och erbjuder en engagerande och stödjande miljö.

Projektbeskrivning
Projektet, som finansieras av ERC Starting-grant anslaget HORNET, fokuserar på praktiskt användbara automatiserade verifierings- och felsökningstekniker för numeriska program. Dessa program används i stor utsträckning i säkerhetskritiska system, dataanalys, väderprognoser, fysik, teknik med mera, men att verifiera och felsöka deras noggrannhet och tillförlitlighet idag är utmanande på grund av avrundningsfel och begränsningar hos nuvarande verktyg. En aspekt som detta projekt fokuserar på är noggrannheten hos program med ändlig precision med avseende på en programspecifikation som använder reella tal (och som därmed är felfri). Möjliga forskningsriktningar inkluderar automatiserad programverifiering, specifikationsinferens, fellokalisering, praktisk användbarhet, etc. i samband med numeriska program med ändlig precision. Projektet kommer vanligtvis att innehålla både en teoretisk del, utveckling av nya tekniker och tillvägagångssätt, såväl som implementationer som kan användas praktiskt.

Arbetsuppgifter
Doktoranden kommer främst ägna sig å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 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 inom eller utom landet 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 studieplanen för ämnet.

Vi söker kandidater med:

• en stark matematisk bakgrund och intresse för statisk och/eller dynamisk programanalys, programspråkstekniker, formell verifiering, eller mjukvaruutveckling,
• utmärkt kommunikationsförmåga med tillräckliga kunskaper i muntlig och skriftlig engelska,
• goda kunskaper i problemlösning,
• färdigheter i programmering,
• 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 ämnen är meriterande: statisk programanalys, dynamisk analys eller testning, programverifiering, programlogik, avancerad kompilatorkonstruktion, mjukvaruutveckling, programfelsökning.

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

Ansökan
Ansökan ska innehålla:

1. 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; 
2. en meritförteckning (CV);
3. examensbevis och registerutdrag med betyg (översatt till engelska eller svenska); 
4. examensrapport (eller utkast till sådan, och/eller annan egenproducerad teknisk eller vetenskaplig text), publikationer och andra relevanta dokument; 
5. kontaktinformation för minst en referens (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 september 2025 eller enligt överenskommelse. Placeringsort: Uppsala.  

Upplysningar om anställningen lämnas av: Universitetslektor Eva Darulova, e-mail: eva.darulova@it.uu.se.

Välkommen med din ansökan senast den 22 april 2025, UFV-PA 2025/641.