Biträdande universitetslektor i datavetenskap med inriktning mot formell verifiering - Under tillsättning eller tillsatt, ej sökbar

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.

Pedagogisk skicklighet avser utbildnings- och undervisningsmeritering. 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 meriter gällande modellering, verifiering, testning, och datasäkerhet.

Samverkansskicklighet: Samverkansskicklighet är betydelsefull för anställningen och kommer att tillmätas 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 och vid befordran från biträdande universitetslektor till universitetslektor

Instruktioner för ansökan om anställning

Upplysningar om anställningen lämnas av: professor David Black-Schaffer (e-post david.black-schaffer@it.uu.se) och professor Bengt Jonsson (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-09-15 eller efter överenskommelse.

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