Postdoktor inom praktiskt användbar verifiering för numerisk kod

Vill du forska inom automatiserad programverifiering, 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 vid 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änsten är förlagd på avdelningen för datalogi, specifikt inom programspråksgruppen som för närvarande består av 11 seniora forskare och 10 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 och arbetsuppgifter Postdoktortjänsten ingår i ett projekt som syftar till att göra det enklare för utvecklare att skriva korrekta och effektiva numeriska program. Projektet omfattar både en teoretisk del, där nya tekniker och metoder utvecklas, och implementeringar för praktisk användning.

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, fel-lokalisering eller optimering som gör verifieringsverktyg praktiskt användbara för verklig kod.

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 i ämnet. Examen ska vara uppfyllt senast vid tidpunkten då anställningsbeslutet fattas. Främst bör den komma ifråga som har avlagt examen för högst tre år sedan. Vid beräkning av ramtiden om tre år är utgångspunkten sista ansökningsdag. Om det finns särskilda skäl kan sådan examen ha avlagts tidigare. Med särskilda skäl avses ledighet på grund av sjukdom, föräldraledighet, förtroendeuppdrag inom fackliga organisationer, 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:

• 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);
• en meritförteckning (CV);
• en forskningsbeskrivning som redogör för din tidigare forskningserfarenhet och nuvarande forskningsintressen (max två sidor);
• en kopia av relevanta examina och betyg (översatta till svenska eller engelska, t.ex. enligt universitetets standard);
• en publikationslista (kan ingå i CV);
• 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 februari 2027 eller enligt överenskommelse. Placering: 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 13 november 2026, UFV-PA 2026/2902.