Publicerad: 2025-06-23
Vik universitetslektor i datavetenskap
Institutionen för informationsteknologi har en ledande position inom såväl forskning som
utbildning på alla nivåer, med bl.
a. en världsledande forskningsverksamhet inom formell
verifiering och testning. Institutionen har i dag ca 300 anställda varav 120 lärare och 110
doktorander. Drygt 4000 studenter läser en eller flera kurser vid institutionen varje år och ett 30-
tal forskargrupper är kopplade hit. Mer info: Institutionen för informationsteknologi - Uppsala universitet
Beskrivning av anställningens ämnesområde
Datavetenskap med minst gedigen forskningserfarenhet inom något av dessa områden:
Algoritmisk verifiering av programvara med hjälp av Model-checking och symbolisk
exekvering;
Automatiserat resonemang med hjälp av Satisfiability Modulo Theories (SMT)
paradigmet, med fokus på verifieringsrelaterade teorier såsom arrayer och bitvektorer;
Inbyggda system, särskilt metoder för att säkerställa korrekthet och säkerhet av inbyggd
programvara med hjälp av tekniker som algoritmisk och deduktiv verifiering.
Den vikarierande universitetslektor kommer att arbeta med projektet "Designed for
UPDATE: Next-Generation Embedded Systems" som finansieras av Knut och Alice
Wallenbergs Stiftelse (KAW).
Arbetsuppgifter
Undervisning, forskning och administration. Till undervisning räknas kursansvar och
kursadministration samt handledning av doktorander. Universitetslektorn ska bidra till
undervisning och kursutveckling inom området verifiering och testning på avancerade
kurser.
Följa utvecklingen inom det egna ämnesområdet och samhällsutvecklingen i övrigt som
har betydelse för arbetet vid universitetet.
Utvidga och stärka den existerande forskningen inom verifiering och testning vid
avdelningen, även innefattande att handleda doktorander, samt utvidga forsknings-,
undervisnings-, och samverkansaktiviteter inom verifiering och testning.
Behörighetskrav
Doktorsexamen inom datavetenskap
Vetenskaplig och pedagogisk skicklighet eller annan yrkesskicklighet. Det krävs att den
pedagogiska skickligheten, den vetenskapliga kompetensen och yrkesskickligheten är
relevant för anställningens ämnesområde och de arbetsuppgifter som ska ingå i
anställningen.
Den sökande ska ha genomgått för verksamhet inom universitetet relevant
högskolepedagogisk utbildning omfattande tio veckor eller ha förvärvat motsvarande
kunskaper.
Dokumenterad förmåga att undervisa på svenska eller engelska om inte särskilda skäl
föreligger.
Personliga egenskaper som krävs för att fullgöra anställningen väl.
Bedömningsgrunder för sökande som uppfyller ovanstående behörighetskrav
Vid urval bland behöriga sökande kommer särskild vikt att fästas vid såväl vetenskaplig som
pedagogisk skicklighet vilka tillmäts lika stor vikt.
Observera att detta är en förkortad version av annonsen. För att se den fullständiga annonsen vänligen klicka på ”Ansök här” eller se Uppsala universitets hemsida: https://uu.se/jobb/
Universitetet kommer i denna rekrytering främst att beakta den som efter en kvalitativ
helhetsbedömning av kompetens och skicklighet bedöms ha de bästa förutsättningarna att
genomföra och utveckla aktuella arbetsuppgifter samt bidra till en positiv utveckling av
verksamheten.
Ytterligare information
Föräldraledighet, deltidsarbete på grund av vård av barn, fackligt uppdrag, militärtjänst eller
liknande beaktas som arbetslivserfarenhet och bör anges i meritförteckningen.
Uppsala universitetets anställningsordning
Teknisk-naturvetenskapliga fakultetens riktlinjer för anställning
Instruktioner för ansökan om anställning
Lön: Individuell lönesättning tillämpas.
Tillträde: 2025-09-01.
Anställningsform: Tidsbegränsad anställning (vikariat) t.o.m. 2026-03-31
Anställningens omfattning: 100 %
Ort: Uppsala
Upplysningar om anställningen lämnas av: professor Mohamed Faouzi Atig
mohamed_faouzi.atig@it.uu.se eller professor Bengt Jonsson bengt.jonsson@it.uu.se
Välkommen med din ansökan senast den 28 juli 2025, UFV-PA 2025/2038
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 600 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.
utbildning på alla nivåer, med bl.
a. en världsledande forskningsverksamhet inom formell
verifiering och testning. Institutionen har i dag ca 300 anställda varav 120 lärare och 110
doktorander. Drygt 4000 studenter läser en eller flera kurser vid institutionen varje år och ett 30-
tal forskargrupper är kopplade hit. Mer info: Institutionen för informationsteknologi - Uppsala universitet
Beskrivning av anställningens ämnesområde
Datavetenskap med minst gedigen forskningserfarenhet inom något av dessa områden:
Algoritmisk verifiering av programvara med hjälp av Model-checking och symbolisk
exekvering;
Automatiserat resonemang med hjälp av Satisfiability Modulo Theories (SMT)
paradigmet, med fokus på verifieringsrelaterade teorier såsom arrayer och bitvektorer;
Inbyggda system, särskilt metoder för att säkerställa korrekthet och säkerhet av inbyggd
programvara med hjälp av tekniker som algoritmisk och deduktiv verifiering.
Den vikarierande universitetslektor kommer att arbeta med projektet "Designed for
UPDATE: Next-Generation Embedded Systems" som finansieras av Knut och Alice
Wallenbergs Stiftelse (KAW).
Arbetsuppgifter
Undervisning, forskning och administration. Till undervisning räknas kursansvar och
kursadministration samt handledning av doktorander. Universitetslektorn ska bidra till
undervisning och kursutveckling inom området verifiering och testning på avancerade
kurser.
Följa utvecklingen inom det egna ämnesområdet och samhällsutvecklingen i övrigt som
har betydelse för arbetet vid universitetet.
Utvidga och stärka den existerande forskningen inom verifiering och testning vid
avdelningen, även innefattande att handleda doktorander, samt utvidga forsknings-,
undervisnings-, och samverkansaktiviteter inom verifiering och testning.
Behörighetskrav
Doktorsexamen inom datavetenskap
Vetenskaplig och pedagogisk skicklighet eller annan yrkesskicklighet. Det krävs att den
pedagogiska skickligheten, den vetenskapliga kompetensen och yrkesskickligheten är
relevant för anställningens ämnesområde och de arbetsuppgifter som ska ingå i
anställningen.
Den sökande ska ha genomgått för verksamhet inom universitetet relevant
högskolepedagogisk utbildning omfattande tio veckor eller ha förvärvat motsvarande
kunskaper.
Dokumenterad förmåga att undervisa på svenska eller engelska om inte särskilda skäl
föreligger.
Personliga egenskaper som krävs för att fullgöra anställningen väl.
Bedömningsgrunder för sökande som uppfyller ovanstående behörighetskrav
Vid urval bland behöriga sökande kommer särskild vikt att fästas vid såväl vetenskaplig som
pedagogisk skicklighet vilka tillmäts lika stor vikt.
Observera att detta är en förkortad version av annonsen. För att se den fullständiga annonsen vänligen klicka på ”Ansök här” eller se Uppsala universitets hemsida: https://uu.se/jobb/
Universitetet kommer i denna rekrytering främst att beakta den som efter en kvalitativ
helhetsbedömning av kompetens och skicklighet bedöms ha de bästa förutsättningarna att
genomföra och utveckla aktuella arbetsuppgifter samt bidra till en positiv utveckling av
verksamheten.
Ytterligare information
Föräldraledighet, deltidsarbete på grund av vård av barn, fackligt uppdrag, militärtjänst eller
liknande beaktas som arbetslivserfarenhet och bör anges i meritförteckningen.
Uppsala universitetets anställningsordning
Teknisk-naturvetenskapliga fakultetens riktlinjer för anställning
Instruktioner för ansökan om anställning
Lön: Individuell lönesättning tillämpas.
Tillträde: 2025-09-01.
Anställningsform: Tidsbegränsad anställning (vikariat) t.o.m. 2026-03-31
Anställningens omfattning: 100 %
Ort: Uppsala
Upplysningar om anställningen lämnas av: professor Mohamed Faouzi Atig
mohamed_faouzi.atig@it.uu.se eller professor Bengt Jonsson bengt.jonsson@it.uu.se
Välkommen med din ansökan senast den 28 juli 2025, UFV-PA 2025/2038
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 600 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.