Lediga job som Forskare

Scientific Data Group

Du kommer att bli en del av Scientific Data Group inom den tekniska avdelningen vid MAX IV Laboratory. Vi utvecklar och driver högpresterande system för datainsamling till avancerade detektorer samt tillhandahåller lösningar för databearbetning, visualisering och analys som gör det möjligt för forskare att snabbt tolka resultat från experiment inom röntgenspridning, avbildning och spektroskopi. Våra system hanterar regelbundet dataflöden på flera GB/s och stödjer storskaliga vetenskapliga dataarbetsflöden.

För att stödja hållbar datahantering vid nästa generations fotonvetenskapliga forskningsanläggningar söker vi nu en postdoktor som ska vidareutveckla arbetsflöden för datareducering och komprimering av vetenskapliga data för tomografi- och avbildningstillämpningar i samarbete med europeiska forskningsinfrastrukturer.

Arbetsuppgifter

De snabbt växande datamängder som genereras av moderna avbildningsexperiment skapar betydande utmaningar när det gäller lagring, överföring, bearbetning och långsiktigt bevarande av data. Genom ett europeiskt samarbetsinitiativ med ledande forskningsanläggningar inom fotonvetenskap utvecklar MAX IV hållbara metoder för vetenskaplig datareducering och vetenskapligt validerade metoder för förstörande (lossy) datakomprimering inom tomografi och avbildning.

Som postdoktor kommer du att bidra till utvärdering, utveckling, validering och implementering av avancerade metoder för datareducering och komprimering för storskaliga bilddataset. Du kommer att arbeta i gränslandet mellan vetenskaplig databehandling, bildanalys och forskningsinfrastrukturer, i nära samarbete med forskare, mjukvaruutvecklare, beamlineforskare och beräkningsexperter inom den europeiska fotonvetenskapliga gemenskapen.

Projektet genomförs i nära samarbete med ledande europeiska forskningsanläggningar genom LEAPS-nätverket. Tjänsten erbjuder en unik möjlighet att arbeta direkt med MAX IV:s verksamhet inom röntgenavbildning och tomografi. Detta omfattar etablerade tomografikapaciteter vid DanMAX och ForMAX, samt utvecklingen av TomoWISE, en dedikerad nästa generations tomografistrålrörslinje som för närvarande byggs. Den framgångsrika kandidaten kommer att samarbeta nära med forskare och ingenjörer som utvecklar framtidens avbildningsmöjligheter vid MAX IV, samtidigt som man arbetar tillsammans med experter inom tomografi, vetenskaplig databehandling, datahantering och forskningsmjukvara runt om i Europa.

Ditt arbete kommer att bidra till praktiska lösningar som avsevärt minskar datavolymer samtidigt som vetenskaplig kvalitet och reproducerbarhet bibehålls. Projektet kombinerar vetenskaplig forskning, mjukvaruutveckling och internationellt samarbete, och ger möjligheter att påverka framtida bästa praxis för datahantering vid storskaliga forskningsanläggningar.

Arbetet omfattar bland annat benchmarking och validering av komprimeringsalgoritmer, utveckling av mjukvaruverktyg och arbetsflöden, framtagande av kvalitetsmått och bästa praxis, samarbete med partneranläggningar, organisering av workshops och utbildningsinsatser samt spridning av resultat genom publikationer och presentationer.

Dina huvudsakliga arbetsuppgifter är att:

• Utvärdera och benchmarka metoder för datareducering och förstörande datakomprimering med hjälp av representativa tomografi- och bilddataset från MAX IV och samarbetande anläggningar.
• Utveckla mjukvaruverktyg, arbetsflöden och valideringsmetoder som stödjer införandet av komprimeringsteknik i vetenskapliga miljöer.
• Samarbeta med beamlineforskare för att utvärdera hur datareduceringsmetoder påverkar vetenskapliga resultat och datakvalitet.
• Bidra till riktlinjer, bästa praxis och kunskapsresurser inom vetenskaplig datareducering, datakomprimering och FAIR-datahantering.
• Samarbeta med forskare och tekniska experter vid europeiska forskningsanläggningar för att främja kunskapsutbyte och tekniköverföring.
• Stödja och samordna projektets workshops, utbildningsaktiviteter och kommunikationsinsatser.
• Sprida projektresultat genom rapporter, teknisk dokumentation, presentationer, workshops och vetenskapliga publikationer.

Kvalifikationer

För att vara framgångsrik i rollen behöver du ha:

• Doktorsexamen inom datavetenskap, tillämpad matematik, fysik, teknik, vetenskaplig databehandling, bildbehandling, data science eller närliggande område.
• Dokumenterad erfarenhet av vetenskaplig programmering, utveckling av vetenskaplig programvara eller datatunga beräkningsmiljöer.
• Erfarenhet av Python samt minst ett högpresterande programmeringsspråk såsom C++, Rust eller Julia.
• Erfarenhet av arbete med storskaliga vetenskapliga dataset, bildbehandling, beräkningsbaserad avbildning, tomografianalys eller datakomprimering.
• Erfarenhet av Linuxbaserade beräkningsmiljöer och moderna metoder för mjukvaruutveckling, inklusive versionshantering och samarbetsbaserad utveckling.
• Mycket god förmåga att kommunicera i tal och skrift på engelska.
• Förmåga att arbeta effektivt i en tvärvetenskaplig och internationell forskningsmiljö.

Meriterande kvalifikationer

• Erfarenhet av synkrotronanläggningar, neutronanläggningar, elektronmikroskopi, medicinsk bilddiagnostik eller andra storskaliga avbildningsanläggningar.
• Erfarenhet av vetenskapliga dataformat och teknologier såsom HDF5, NeXus och Zarr.
• Kunskap om FAIR-principer och forskningsdatahantering.
• Erfarenhet av högpresterande databehandling (HPC), molnbaserad databehandling, GPU-acceleration eller distribuerad databehandling.
• Erfarenhet av internationella forskningssamarbeten och/eller forskningsprojekt som involverar flera organisationer.

Behörighet

För anställning som postdoktor krävs doktorsexamen eller en internationell examen som bedöms motsvara en doktorsexamen inom tjänstens ämnesområde. Examen ska normalt ha avlagts högst tre år före sista ansökningsdag. Under särskilda omständigheter kan examen vara äldre än tre år. Detta är en heltidsanställning på viss tid om två år. 

För fullständig annons: https://lu.varbi.com/en/what:job/jobID:968843/

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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