Doktorand i datalogi med fokus på parametrisk flyttalsresonemang

Publiceringsdatum: 2025-06-10

Uppsala Universitet söker just nu efter en doktorand och du kan vara den de letar efter. Uppsala Universitet söker för närvarande efter personal på heltid för en tjänst 6 månader eller längre. Kolla in deras jobbannons för mer information. Denna position är tillgänglig i Uppsala.

Om du är intresserad av en karriär inom doktorand, ta en titt på den lediga tjänsten som Uppsala Universitet erbjuder för att se om det är en matchning. Du har fortfarande tid att söka jobbet som doktorand hos Uppsala Universitet om du sickar in din ansökan senast sista ansökningsdag som är måndag den elfte augusti 2025.

Jobbannons

Vill du arbeta med automatiserat resonemang och interaktiv satsbevisning, 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 https://www.uu.se/institution/informationsteknologi.

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 fokuserar på automatiserat resonemang om flyttal vars bitstorlek är okänd och ges som en symbolisk parameter. Resonemang om flyttal med symbolisk storlek möjliggör att man kan övervinna grundläggande begränsningar i resonemang med fast storlek; det är avgörande för att utveckla återanvändbara formella modeller av flyttalsaritmetik. Projektet kommer att göra det möjligt för moderna SMT-lösare att resonera om flyttal med symbolisk storlek, och kommer att göra denna automatisering tillgänglig för användare av interaktiva bevisassistenter. Dessa använder en särskild programvaruarkitektur som gör dem mycket tillförlitliga, men som samtidigt gör effektiv implementering av bevisprocedurer mer utmanande. Projektet kommer att innehålla både en teoretisk del, där nya tekniker och angreppssätt utvecklas, samt implementationer som kan användas i praktiken.

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 https://www.uu.se/medarbetare/fakultet/teknisk-naturvetenskapliga/utbildning-och-undervisning/utbildning-pa-forskarniva/amnen-och-studieplaner/amnen.

Vi söker kandidater med:

• en stark matematisk bakgrund och intresse för formell logik, automatiserat resonemang och/eller interaktiv satsbevisning,
• 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: formell logik, automatiserat resonemang, interaktiv satsbevisning, programverifiering, mjukvaruutveckling, objektorienterad och/eller funktionell programmering, numeriska metoder.

Bestämmelser för doktorander återfinns i Högskoleförordningen 5 kap §§ 1-7 samt i https://regler.uu.se/?languageId=3.

Ansökan

Ansö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, eller annan egenproducerad teknisk eller vetenskaplig text); en lista över andra publikationer och/eller offentligt tillgänglig programkod (om sådan finns) samt andra relevanta dokument;
• 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 oktober 2025 eller enligt överenskommelse. Placeringsort: Uppsala.

Upplysningar om anställningen lämnas av: Universitetslektor Tjark Weber, e-mail: tjark.weber@it.uu.se.

Välkommen med din ansökan senast den 11 augusti 2025, UFV-PA 2025/1820.

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.