Vik universitetslektor i datavetenskap

2025-06-23

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

[email protected] eller professor Bengt Jonsson [email protected]

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.

Placering: Institutionen för informationsteknologi Omfattning: Heltid Sysselsättningsgrad: 100 % Anställningsform: Tillsvidareanställning Lön: Fast lön Antal lediga befattningar: 1 Ort: Uppsala Fackliga företrädare:

• Seko Universitetsklubben [email protected]
• ST/TCO [email protected]
• Saco-rådet [email protected]
  
  

Referensnummer: UFV-PA 2025/2038 Sista dag för ansökan: 28 juli 2025 Sök jobbet