Biträdande universitetslektor i datavetenskap

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 långsiktig skillnad i samhället. Vår viktigaste tillgång är alla de individer som med sin nyfikenhet och sitt engagemang gör Uppsala universitet till en av landets mest spännande arbetsplatser. Uppsala universitet har drygt 54 000 studenter, mer än 7 500 anställda och en omsättning på cirka 8 miljarder kronor.




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: http://www.it.uu.se.

Beskrivning av anställningens ämnesområde: Tekniker för formell verifiering, inom minst ett av följande områden: verifiering av parallella och distribuerade program, verifiering av smarta kontrakt och blockkedjesystem, verifiering av tekniker och system för maskininlärning, användning av maskininlärningstekniker för programverifiering, verifiering av algoritmer för kvantberäkningar, programsyntes och felrättning, tillämpning av tekniker för formell verifiering och testning inom datasäkerhet.

Arbetsuppgifter:

- Undervisning forskning och administration. Till undervisning räknas kursansvar och kursadministration samt handledning av doktorander. Det förväntas att bidra till undervisning och kursutveckling inom verifiering, på såväl grund- som avancerad nivå.
- 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 formell verifiering vid avdelningen, även innefattande att ansöka om externa forskningsanslag, handleda doktorander, samt utvidga forsknings-, undervisnings-, och samverkansaktiviteter inom verifiering.
- Att initiera och bidra till samarbeten mellan forskargrupper, såväl inom institutionen som med andra institutioner.

Anställningsperiod: Anställningen som biträdande universitetslektor kan innehas i längst sex år. Anställning som biträdande universitetslektor syftar till meritering för läraranställning för vilken det ställs högre krav på behörighet. En biträdande universitetslektor kan ansöka om befordran till universitetslektor. Om den biträdande universitetslektorn bedöms vara lämplig och uppfyller kraven för befordran ska han eller hon befordras och tillsvidareanställas som universitetslektor.

Behörighetskrav:

- Doktorsexamen inom datavetenskap eller motsvarande kompetens. Främst kommer sökande i fråga som har avlagt doktorsexamen eller har nått motsvarande kompetens högst fem år före ansökningstidens utgång.
- Vetenskaplig och pedagogisk skicklighet. Det krävs att den pedagogiska skickligheten och vetenskapliga kompetensen är relevant för anställningens ämnesområde och de arbetsuppgifter som ska ingå i anställningen.
- Den sökande bör ha genomgått för verksamhet inom universitetet relevant högskolepedagogisk utbildning omfattande fem veckor eller ha förvärvat motsvarande kunskaper. Om det föreligger särskilda skäl kan den högskolepedagogiska utbildningen genomföras under de första två anställningsåren.
- 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, varvid särskild vikt kommer att fästas vid den vetenskapliga skickligheten.

Vetenskaplig skicklighet avser dels forskningsmeritering, dels den sökandes förutsättningar att bidra till framtida utveckling av såväl forskning som utbildning. 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,  inom minst ett av följande områden inom formell verifiering: verifiering av parallella och distribuerade program, verifiering av smarta kontrakt och blockkedjesystem, verifiering av tekniker och system för maskininlärning, användning av maskininlärningstekniker för programverifiering, verifiering av algoritmer för kvantberäkningar, programsyntes och felrättning, tillämpning av tekniker för formell verifiering och testning inom datasäkerhet. 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.

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

https://regler.uu.se/dokument/?contentId=92570

https://regler.uu.se/dokument/?contentId=657462

https://teknat.uu.se/digitalAssets/395/c_395576-l_3-k_instruktioner-for-ansokan-om-anstallning.pdf

Upplysningar om anställningen lämnas av: professor David Black-Schaffer (e-post mailto:david.black-schaffer@it.uu.se) och professor Bengt Jonsson (mailto:bengt.jonsson@it.uu.se)

Anställningsform: Heltid, visstidsanställning under 6 år.

Antal lediga befattningar: 1

Sysselsättningsgrad: 100%

Ort: Uppsala

Lön: Individuell lönesättning tillämpas.

Tillträde: 2022-08-01 eller efter överenskommelse.

Välkommen med din ansökan senast den 31 maj 2022, UFV-PA 2022/472.

Vi undanber oss erbjudanden om rekryterings- och annonseringshjälp.


Ansökan tas emot i Uppsala universitets rekryteringssystem.