Universitetslektor i datakunskap

Akademin för innovation, design och teknik utlyser en anställning som universitetslektor i datavetenskap med inriktning formell modellering och verifiering av inbyggda realtidssystem.

Akademin bedriver forskning och undervisning med fokus på realtids- och inbyggda system. Akademin behöver stärka sin verksamhet inom ämnet formell modellering och verifiering av inbyggda system, varför ett lektorat inom detta område utlyses. Fördelning mellan forskning och undervisning i den utlysta anställningen beror på det finansiella läget och behovet, men den närmaste tiden ca 75% forskning och 25% undervisning.

Arbetsuppgifterna består huvudsakligen av forskning, handledning av doktorander, och undervisning i grund- och forskarutbildning. I anställningen ingår även att aktivt söka forskningsanslag och att aktivt delta uppbyggnaden av forskningsverksamheten, samt aktivt deltagande och koordinering av projekt i samarbete med industri och akademiska partners.

Den bedrivna forskningen kommer att behandla teorier, metoder och verktyg för formell verifiering av modeller av komponentbaserade inbyggda system med fokus på automatateori och/eller calculus. Forskningen som bedrivs inom IDT's komponentbaserad realtidsverifiering fokuserar huvudsakligen på utveckling av resursmedvetna modeller och teori för kontroll av funktionell, tids-, och resursrelaterade egenskaper i inbyggda system. Forskningserfarenhet inom detta område är därför speciellt meriterande.

Behörighetskrav
Behörig för anställning som universitetslektor är den som har avlagt doktorsexamen eller har motsvarande vetenskaplig kompetens, dels genomgått högskolepedagogisk utbildning eller på annat sätt förvärvat motsvarande kunskaper samt visat pedagogisk skicklighet.
Den som skall anställas som universitetslektor skall, enligt rektorsbeslut, ha visat den undervisningsskicklighet som krävs för anställningen och dessutom, om särskilda skäl ej föreligger, ha genomgått 10 veckors högskolepedagogisk utbildning. Prövningen av pedagogisk skicklighet skall avse såväl planering, genomförande och utvärdering av undervisning som handledning och examination. Den pedagogiska skickligheten skall vara väl dokumenterad så att kvaliteten kan bedömas.
Den som inte uppfyller behörighetskravet beträffande högskolepedagogisk utbildning och inte har motsvarande kunskaper anställs längst ett år med möjlighet till förlängning ytterligare ett år. Om behörigheten förvärvas under denna anställningstid skall anställningen på begäran övergå i en tillsvidareanställning.
I övrigt hänvisas till HF 4 kap. (SFS 1993:100).

Bedömningsgrunder
Personen vi söker är framgångsrik forskare, med ledarförmåga, undervisningserfarenhet, och erfarenhet av akademiskt samarbete. Speciella bedömningsgrunder inkluderar:

. Forskningserfarenhet och kunskap inom formell modellering och analys av realtids inbyggda system.
. Erfarenhet av deltagande och samarbete inom nationella och internationella projekt.
. Erfarenheter av handledning av doktorander och D-nivå studenter (examensarbeten).
. Erfarenheter av undervisning och av utvecklandet av kursmaterial i grund- och forskarutbildningen, inom realtidsinbyggda system.
. Dokumenterad förmåga att arbeta för högskolans bästa inom forskning, utbildning och i nämndarbete.
. Dokumenterad förmåga att utåt representera högskolan och den bedrivna forskningen vetenskapligt och populärvetenskapligt.