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.

Vetenskaplig skicklighet avser forskningsmeritering. Förutom akademisk meritering kan även 
forskningsmeritering från annan verksamhet, som inbegriper till exempel teknikutveckling och 
innovationsförmåga, beaktas. Vid bedömning av den vetenskapliga skickligheten kommer i första 
hand vetenskaplig kvalitet att beaktas. Även forskningens omfattning, främst djup och bredd, 
kommer att tillmätas betydelse. Vid bedömning av den vetenskapliga skickligheten kommer 
särskild vikt att läggas vid forskningsmeriter inom 
tjänstens område, demonstrerade genom publikationer i ledande konferenser och tidskrifter. 
Visad självständighet inom forskning, samarbete med industri och omgivande samhälle, och 
visad förmåga att erhålla forskningsanslag i konkurrens kommer att tillmätas vikt men är inte ett 
absolut krav.

Vidare kommer förmåga att planera, initiera, leda och utveckla forskning och utbildning på 
forskarnivå, förmåga att i konkurrens erhålla medel för forskning, liksom visad förmåga till 
interaktion både inomvetenskapligt och med det omgivande samhället att tillmätas betydelse.

Pedagogisk skicklighet avser utbildnings- och undervisningsmeritering. Förutom akademisk 
meritering kan även utbildnings- och undervisningsmeritering från annan verksamhet, som 
inbegriper till exempel handledning, internutbildning eller mentorsprogram, beaktas. Vid 
bedömning av pedagogisk skicklighet ska i första hand pedagogisk kvalitet beaktas. Även 
omfattning, såväl bredd som djup, ska tillmätas betydelse. Vid bedömning av den pedagogiska 
skickligheten kommer särskild vikt att läggas vid undervisning av kurser inom området verifiering och testning på avancerad nivå.

Vidare kommer förmåga att planera, initiera, leda och utveckla utbildning och undervisning, 
liksom förmåga att forskningsanknyta undervisningen sett utifrån forskning i det aktuella ämnet, 
ämnesdidaktik och högskolepedagogik att tillmätas betydelse. Även förmåga till interaktion om 
högskolepedagogiska frågor med aktörer inom och utom universitetet ingår i den pedagogiska 
skickligheten.

Administrativ skicklighet: Administrativ skicklighet är betydelsefull för anställningen och 
kommer att tillmätas vikt. Administrativ skicklighet visas bland annat genom förmåga att 
planera, organisera och prioritera arbetet på ett effektivt och för ändamålet anpassat sätt samt 
genom förmåga att ange och hålla tidsramar. Till skickligheten räknas övergripande 
verksamhetsplanering samt förmåga att hantera resurser på ett sätt som speglar verksamhetens 
prioriteringar liksom förmåga att arbeta strukturerat och utifrån en medvetenhet om mål och 
kvalitet. Med administrativ skicklighet avses även entreprenörskap.

Ledningsskicklighet: Ledningsskicklighet är betydelsefull för anställningen och kommer att 
tillmätas vikt. Ledningsskicklighet visas genom förmåga att leda verksamhet och personal, fatta 
beslut, ta ansvar samt motivera och förse andra med de förutsättningar som krävs för att effektivt 
nå gemensamma mål. Förmåga att samordna gruppen såväl som att bidra till att skapa 
engagemang, delaktighet och arbetsglädje samt förmåga att hantera konflikter utgör ytterligare 
exempel på visad skicklighet.

Samverkansskicklighet: Samverkansskicklighet är betydelsefull för anställningen och kommer 
att tillmätas stor vikt. Samverkansskicklighet visas genom förmåga och skicklighet att planera, 
organisera och genomföra samverkan med det omgivande samhället. Populärvetenskapliga 
arbeten, offentlig debatt och föredrag är exempel på former för samverkan med det omgivande 
samhället. Andra exempel på samverkan är patentansökningar, kommersialisering och 
industrisamverkan. Även förmåga att omsätta kunskapsutbyte med det omgivande samhället i 
aktiviteter av betydelse för utbildningens utveckling och kvalitet ingår i samverkansskickligheten.

Samtliga meriter ska vara dokumenterade så att både kvalitet och omfattning kan bedömas.

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