Forskare i inbyggda system - Under tillsättning eller tillsatt, ej sökbar

Institutionen för informationsteknologi bedriver forskning och utbildning i ett spektrum av områden inom datavetenskap och IT.  För mer information, se http://www.it.uu.se.

Forskningsmiljö: Det finns flera forskargrupper vid Uppsala universitet (Wang Yi, Pontus Ekberg, Philipp Ruemmer, Bengt Jonsson, Parosh Abdulla) som är världsledande inom inbyggda och realtidssystem, och formell verifikation.  Dessa grupper står bakom viktiga analysverktyg, såsom UPPAAL, grundläggande resultat i realtidssystem, tekniker och verktyg för modellering och verifiering samt en rad ytterligare resultat som fått stort genomslag. T.ex. har forskare erhållit  ERC advanced grant, och "IEEE TCRTS (Outstanding Technical Achievement and Leadership, Technical Committee on Real-Time Systems) Award år 2019 (Wang Yi), och "CAV (Computer-Aided Verification) Award" såväl 2013 (Wang Yi) som 2017 (Parosh Abdulla and Bengt Jonsson), de främsta akademiska utmärkelse inom respektive område.

Arbetsuppgifter: Anställningen är fokuserad på forskning, projektledning och administration, men kan komma att innefatta viss undervisning och institutionstjänstgöring (max 20%). Utveckling av tekniker och mjukvaruverktyg för utveckling av pålitliga inbyggda system, särskilt nytt paradigm för att bygga nästa generations säkerhetskritiska inbyggda system som kan uppdateras efter implementering och effektiva och skalbara tekniker för run-time resurshantering och säkerhetsvalidering av dynamiska uppdateringar i fältet. Forskningsproblemen innefattar utformning och implementering av deterministiska multi-thread realtidssystem, multiprocessor schemaläggning, och verifiering av funktionell och icke-funktionell korrekthet och uppbyggnad av real-world uppdaterbara system.

Kvalifikationskrav: De sökande förväntas ha en doktorsexamen (eller motsvarande) inom datavetenskap eller liknande område. Utmärkta kunskaper i muntlig och skriftlig engelska är ett krav.

Bedömningsgrunder: Vid urval bland behöriga sökande kommer stor vikt att fästas vid vetenskaplig skicklighet relevant för projektet: design av inbyggda system och realtidssystem, och formella verifiering.

Publikationer som huvudförfattare i högt värderade tidskrifter och konferenser är en viktig merit. Särskilt stor vikt kommer också att fästas vid dokumenterade programmeringskunskaper. Dokumenterade erfarenheter av samarbete i grupp och organisatorisk förmåga är meriterande.

Bedömningen av ansökningarna baseras framförallt på den sökandes förmåga att bedriva självständig forskning grundad i vetenskaplig skicklighet. Större vikt fästs vid kvaliteten på enskilda vetenskapliga arbeten än på mängden publikationer.

Ansökan: Ansökan ska innehålla en detaljerad CV, en 1-sida forskningsdeklaration, betygshandlingar, en länk till doktorsavhandlingen och en motivering till att söka denna tjänst (med referenser med kontaktinformation).

Lön: Individuell lönesättning.

Tillträde: Snarast.

Anställningsform: Tidsbegränsad anställning t.o.m. 24 månader.

Anställningens omfattning: 50 %

Upplysningar om anställningen lämnas av: Prof Wang Yi: yi@it.uu.se.

Välkommen med din ansökan senast den 17 juli 2020, UFV-PA 2020/2696.