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 Institutionen för informationsteknologi .

Forskningsområdet
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.

Forskningsmiljö
Det finns flera forskargrupper vid Uppsala universitet 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.

Läs mer om våra förmåner och hur det är att jobba inom Uppsala universitet.

Arbetsuppgifter
Anställningen är fokuserad på forskning, projektledning och administration.

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

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. 

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.

Önskvärt/meriterande i övrigt
Dokumenterade erfarenheter av samarbete i grupp och organisatorisk förmåga är meriterande.

Ansökan: Ansökan ska innehålla en detaljerad CV och en webblänk till tidigare akademiska arbetet.

Om anställningen 
Anställningen är tillsvidare. Omfattningen är 20 %. Tillträde enligt överenskommelse. Placeringsort: Uppsala.

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

Välkommen med din ansökan senast den 15 november 2022, UFV-PA 2022/3919.