Biträdande lektor i datorsystem med inriktning m

ARBETS- OCH ARBETSPLATSUPPGIFTER <b>distribuerade algoritmer och system</b> till <a href="http://www.kth.se/om/organisation/skolor/1.3857">Skolan för informations- och kommunikationsteknik (ICT)</a> <b>Ämnesområde </b> Inom ramen för datorsystem och datalogi omfattar detta ämne tekniker och metoder för design och utveckling av distribuerade system samt design, analys, och verifiering av distribuerade algoritmer. Utveckling av geografiskt distribuerade tillämpningar i global skala (miljontals sammankopplade datorer) omfattar främst simulering, men också matematisk bevisföring av korrekthetsegenskaper. Särskilt fokus lägges på tekniker för design av middleware för öppna system. Samhällelig nytta av sådana system ges genom att konstruktion av distribuerade tillämpningar kan utföras av ett större antal personer då kraven på detaljkontroll av hårdvaran minskar genom det gräsnsnitt som byggs upp. <b>Arbetsuppgifter </b> Undervisning och forskning. KVALIFIKATIONER <b>Behörighet </b> Behörig att anställas som biträdande lektor är den som har avlagt doktorsexamen eller har en utländsk motsvarighet. Examen bör inte vara mer än fem år, om det inte finns särskilda skäl. (HF 4 kap 8a §). <b>Övriga villkor </b> Erfarenheter av tillämpning av ämnesområdet inom relevanta domäner. <b>Bedömningsgrunder </b> Vid bedömning av de sökande kommer särskild vikt att fästas vid såväl vetenskaplig som pedagogisk skicklighet. Hänsyn kommer även att tas till hur den sökande genom sin erfarenhet och kompetens kan bedömas komplettera och stärka forskningen och utbildningen inom datorsystem och datalogi vid /KTH/ICT. <b>Bedömningsgrunder vid ansökan om befordran av biträdande lektor till lektor</b> Vid anställningen kommer särskild vikt att läggas vid sökandens förmåga att självständigt initiera och driva forskning av hög vetenskaplig kvalitet, publicerad i internationella (alt. nationella) skrifter, och sökandens förmåga att erhålla finansiering av forskningsverksamhet.