Om tjänsten
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.