Upp till 2 Postdoktorer i Embedded Real-Time Systems Design

Är du intresserad av att bidra till utvecklingen av en ny verktygskedja för design av inbyggda system, med stöd av ett ERC Advanced Grant och Wallenberg Foundation, samt av vänliga, kunniga och engagerade kollegor? Söker du en internationell forskningsmiljö som värdesätter hållbart, kollegialt samarbete och erbjuder starkt mentorskap för karriärutveckling? Är du motiverad att driva forskningen framåt utifrån egna idéer och initiativ, med stöd från erfarna forskare? Om svaret är ja, kan detta vara en utmärkt möjlighet för dig.

Institutionen för informationsteknologi har en ledande position inom både forskning och utbildning på alla nivåer. Den är för närvarande Uppsala universitets tredje största institution, med cirka 350 anställda, inklusive 120 lärare och 120 doktorander. Varje år tar omkring 5 000 grundutbildningsstudenter en eller flera kurser vid institutionen. Mer information finns på Institutionen för informationsteknologis webbplats

Forskningsämne
Vid Uppsala universitet utvecklar vi en ny verktygskedja, MIMOS, för modellbaserad utveckling och dynamiska uppdateringar av säkerhetskritiska inbyggda realtidssystem. MIMOS bygger på ett nytt asynkront designparadigm som möjliggör inkrementell systemdesign och dynamiska uppdateringar efter driftsättning. Verktygskedjan stödjer hela systemdesignflödet, inklusive:

• Modellering och simulering
• Formell verifiering
• Resursschemaläggning och isolering
• Kodgenerering för flerprocessorsystem
• Säker uppdatering i fält med formella säkerhetsgarantier

Verktygskedjan är nu redo för akademisk användning. För att ytterligare stärka MIMOS, särskilt inom områden som AI-assisterad design, verifiering och realtidsschemaläggning, söker vi två postdoktorala forskare med stark bakgrund inom formell verifiering, realtidsschemaläggning och/eller industriella tillämpningar.

Arbetsuppgifter
Kandidaten kommer att bedriva forskning, publicera forskningsartiklar i vetenskapliga tidskriver, handleda och ge råd till studenter samt, om lämpligt, delta i undervisning inom området realtidssystem.

Kvalifikationskrav

• Doktorsexamen i Datavetenskap eller Datorteknik, eller motsvarande utländsk examen. Examensbeviset måste vara utfärdat vid tidpunkten för anställningsbeslutet.
• Examen ska ha avlagts högst tre år före ansökningstidens utgång. Tidsramen kan förlängas på grund av särskilda omständigheter såsom föräldraledighet, sjukdom eller fackliga uppdrag.
• Mycket god förmåga i skriftlig och muntlig engelska.
• Hög dokumenterad grad av självmotivation i arbetet.
• Förmåga att arbeta samarbetsinriktat i en mångsidig forskningsmiljö, inklusive bekväm med att ge och ta emot konstruktiv feedback.
• Dokumenterad kompetens i kritiskt tänkande samt strukturerat och självständigt arbete. Dessa personliga egenskaper anses vara lika viktiga som tekniska kvalifikationer för att säkerställa en konstruktiv och kollegial arbetsmiljö.

Önskvärt/meriterande i övrigt
Erfarenhet och intresse för både teoretisk forskning och praktisk verktygsutveckling, samt engagemang i industriella tillämpningar.

Ansökan

Ansökan ska innehålla:

• Ett personligt brev (max 2 sidor) på engelska, där du kort beskriver din motivation för att söka tjänsten och tidigaste möjliga anställningsdatum. Brevet ska ha rubriken Suitability for this position, där du gör en självutvärdering av varför du är rätt kandidat för tjänsten.
• Curriculum Vitae (CV).
• Examensbevis, inklusive genomförda kurser under doktorandstudierna, eller ett utkast av avhandlingen om examen ännu inte är klar.
• Lista över publikationer.
• Forskningsplan som beskriver tidigare och pågående forskning (max 1 sida) samt förslag på framtida aktiviteter (max 1 sida).
• Två referenser med kontaktinformation (namn, e-post och telefonnummer) samt upp till två rekommendationsbrev.

Om anställningen
Anställningen är tidsbegränsat i 2 år enligt central kollektivavtal, med möjlighet till ett års förlängning för att uppnå syftet med avtalet. Omfattningen är heltid. Startdatum: 1 juni 2026 eller enligt överenskommelse. Placeringort: Uppsala.

Upplysningar om anställningen lämnas av: Professor Wang Yi, +46 704 250293, wang.yi@it.uu.se

Välkommen med din ansökan senast den 28 februari 2026, UFV-PA 2026/248.