Postdoktor hos Uppsala universitet i Uppsala
Forskar inom automatiserad programverifiering och utvecklar tekniker för numeriska program. Kräver doktorsexamen i datavetenskap inom relevant område, goda programmeringskunskaper samt att du kan kommunicera flytande på engelska.
Titel, arbetsplatsens namn och sammanfattning skrivna av AI utifrån annonsen.
Bra att veta
Lön
Inom yrkesgruppen Övriga IT-specialister har de som jobbar i statlig sektor i Östra Mellansverige i snitt 51 700 kr i månaden, varav 51 400 kr i grundlön. I hela landet, i statlig sektor, tjänar hälften mellan 44 200 kr och 56 000 kr, och de som är 18–24 år har i snitt 39 500 kr. Det är statistik för yrket, inte vad den här arbetsgivaren betalar.
Källa: SCB, lönestrukturstatistik 2025
Anställningen
Anställningen slutar vid ett bestämt datum eller när ett visst arbete är klart, utan att någon behöver säga upp den. Har du varit anställd mer än tolv månader de senaste tre åren ska arbetsgivaren tala om minst en månad i förväg att den inte förlängs. Har du en särskild visstidsanställning hos samma arbetsgivare i mer än tolv månader under fem år blir den en tillsvidareanställning. Annonsen anger att anställningen varar 6 månader eller längre.
Annonsen nämner kollektivavtal, och ett kollektivavtal kan ge andra regler än lagen.
Texten är skriven med AI och kan innehålla fel. Kontrollera med arbetsgivaren.
Källa: Lagen om anställningsskydd (LAS)
Arbetsgivaren
Uppsala universitet har annonserat 1 090 jobb det senaste året: 877 tidsbegränsade anställningar, 199 tillsvidareanställningar och 10 behovsanställningar. Inom yrkesgruppen Övriga IT-specialister har de annonserat 45 gånger de senaste två åren, den här annonsen inräknad.
Källa: vår sammanställning av Arbetsförmedlingens annonser
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 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.
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 500 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.
Fackliga företrädare
Saco-S - saco-s@uu.se, Seko - seko@uadm.uu.se, ST (OFR/S) - ofr@uu.se
Liknande jobb
Övriga IT-specialister · Uppsala med grannarTitlar och arbetsplatsnamn skrivna av AI
Uppsala universitet
Uppsala universitet är ett brett forskningsuniversitet med stark internationell ställning. Högskolan bedriver utbildning och forskning inom ett flertal områden och är uppdelad i flera campusområden.
Skriven av AI utifrån arbetsgivarens annonser och uppgifter från Bolagsverket och SCB.
Titlar och arbetsplatsnamn skrivna av AI