Arbetsbeskrivning

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  [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.