Upp till 2 postdoktorer inom programspråk och programverifiering

Vill du forska inom automatiserad programverifiering och 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 postdoktor på Institutionen för informationsteknologi, 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.

Postdoktorstjänsterna är förlagda på avdelningen för datalogi, specifikt inom programspråksgruppen som för närvarande består av 11 seniora forskare och 9 doktorander som arbetar med olika aspekter av programspråksdesign, verifiering och programvaruteknik. Utöver tekniska samarbeten träffas gruppen regelbundet och erbjuder en engagerande och stödjande miljö.

Projektbeskrivning
Postdoktorstjä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.

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. Att verifiera att sådana program är korrekta är utmanande på grund av avrundningsfel som uppstår vid flyttalsaritmetik. Möjliga forskningsinriktningar inkluderar utveckling av nya automatiserade programverifieringstekniker specifikt för sådana program, samt metoder för specifikationsinferens och fel-lokalisering som gör verifieringsverktyg praktiskt användbara för verklig kod.

Det andra projektet kretsar kring minnessäkerhet och tekniker för minnessäker programmering. Minnesfel är extremt kostsamma vid utveckling och skapar säkerhetsluckor i program; ”managed languages” undviker de flesta sådana problem genom t.ex. dynamisk automatisk minneshantering och kontroller av pekare och arraygränser, vilket kan öka ett programs resursanvändning eller göra det svårare att resonera om dess prestanda. Språk som Rust erbjuder minnessäkerhet utan extra arbete under körtid, så länge programmen kan uttryckas i dess säkra delmängd. Möjliga forskningsinriktningar inkluderar nya typsystem eller statiska analyser som utökar området för minnessäker programmering samt nya dynamiska tekniker för minnessäkerhet.

Det tredje projektet fokuserar på "concurrency-safety". Managed languages erbjuder minnessäkerhet och null-säkerhet, men de flesta erbjuder inte concurrency-safety. Detta innebär att odefinierade beteenden fortfarande är en faktor och att kompilatorer kan optimera program på sätt som överraskar programmerare och orsakar fel som är svåra att felsöka och åtgärda. Projektet undersöker sätt att förändra hur programspråk hanterar concurrency och parallelism och i synnerhet “ta ansvar” för att program som använder parallelism och concurrency är korrekta. Möjliga forskningsinriktningar inkluderar nya minnesmodeller, nya dynamiska tekniker för att upptäcka och hantera concurrency-fel, samt nya implementationer av exekveringsmiljöer som prövar nya vägar för hur concurrency fungerar i programspråk.

Arbetsuppgifter
Anställningen avser forskning i ovannämnda projekt. Rollen innefattar även forskningsadministration, deltagande i projektmöten och kan omfatta upp till 20 % undervisning inom institutionens kursutbud (beroende på kandidatens intresse och tillgängliga kurser). Vi uppmuntrar alla intresserade sökande att söka, även om deras erfarenhet inte helt överensstämmer med projektets ämnesområde. Vi granskar alla ansökningar noggrant och söker kandidater som kan bidra till projektets mål.

Kvalifikationskrav
Doktorsexamen i datavetenskap inom ett område som är relevant för anställningen, såsom programspråk, programverifiering eller programvaruteknik, eller en utländsk examen som motsvarar en svensk doktorsexamen. Examen måste vara avlagd vid tidpunkten för anställningsbeslutet. Prioritet ges till sökande som har avlagt examen högst tre år före ansökningstidens utgång. Den treårsperioden kan förlängas på grund av särskilda omständigheter såsom sjukledighet, föräldraledighet, fackliga uppdrag etc.

Kandidaten ska kunna kommunicera flytande på engelska och kunna uttrycka sig på avancerad nivå i tal och skift inom det aktuella forskningsämnet. Goda programmeringskunskaper är också ett krav.

Önskvärt/meriterande i övrigt
Vi söker personer som är ansvarstagande, självgående och har visat prov på självständighet i forskningen, samtidigt som de fungerar väl i en forskargrupp. Stor vikt kommer också att läggas vid förmågan att publicera vetenskapliga arbeten i högkvalitativa forum samt att hålla presentationer vid konferenser och vetenskapliga möten.

Ansökan
Ansökan ska innehålla:

1. ett personligt brev som kortfattat beskriver din motivation för att söka denna tjänst och  projekt samt anger tidigaste möjliga startdatum (max 1 sida);
2. en meritförteckning (CV);
3. en forskningsbeskrivning som redogör för din tidigare forskningserfarenhet och nuvarande forskningsintressen (max två sidor);
4. en kopia av relevanta examina och betyg (översatta till svenska eller engelska, t.ex. enligt universitetets standard);
5. en publikationslista (kan ingå i CV);
6. kontaktuppgifter till minst två referenser (referensbrev ska inte bifogas).

Om anställningen 
Anställningen är tidsbegränsad i två år enligt centralt kollektivavtal. Omfattningen är heltid. Tillträde den 1 april 2026 eller enligt överenskommelse. Placering: 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/3892.