Forskare i inbyggda system

Uppsala universitet, Institutionen för informationsteknologi / Datajobb / Uppsala
Observera att sista ansökningsdag har passerat.


Visa alla datajobb i Uppsala, Östhammar, Sigtuna, Österåker, Håbo eller i hela Sverige
Visa alla jobb hos Uppsala universitet, Institutionen för informationsteknologi i Uppsala, Gotland eller i hela Sverige

Uppsala universitet är ett brett forskningsuniversitet med stark internationell ställning. Det yttersta målet är att bedriva utbildning och forskning av högsta kvalitet och relevans för att göra långsiktig skillnad i samhället. Vår viktigaste tillgång är alla de individer som med sin nyfikenhet och sitt engagemang gör Uppsala universitet till en av landets mest spännande arbetsplatser. Uppsala universitet har drygt 54 000 studenter, mer än 7 500 anställda och en omsättning på cirka 8 miljarder kronor.

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.

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.

https://uu.se/om-uu/jobba-hos-oss/

Publiceringsdatum
2022-10-24

Dina 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.

Vi undanber oss erbjudanden om rekryterings- och annonseringshjälp.

Ansökan tas emot i Uppsala universitets rekryteringssystem.

Varaktighet, arbetstid
20%. Tillträde: Snarast Tillsvidareanställning

Ersättning
Individuell lönesättning

Så ansöker du
Sista dag att ansöka är 2022-11-15
Klicka på denna länk för att göra din ansökan

Företag
Uppsala universitet, Institutionen för informationsteknologi

Arbetsgivarens referens
Arbetsgivarens referens för detta jobb är "UFV-PA 2022/3919".

Omfattning
Detta är ett deltidsjobb.

Arbetsgivare
Uppsala Universitet (org.nr 202100-2932)

Arbetsplats
Uppsala universitet, Institutionen för informationsteknologi

Jobbnummer
7100847

Observera att sista ansökningsdag har passerat.

                   

Prenumerera på jobb från Uppsala universitet, Institutionen för informationsteknologi

Fyll i din e-postadress för att få e-postnotifiering när det dyker upp fler lediga jobb hos Uppsala universitet, Institutionen för informationsteknologi: