Postdoktor i i formell analys av cyberfysiska system

Mälardalens universitet (MDU) växer och utvecklas i samband med att vi blev universitet 1 januari 2022. Ta chansen att vara med på vår spännande utvecklingsresa. Med MDU:s vision, att vara ett progressivt och samverkande universitet där vi tillsammans formar en hållbar framtid, kan du göra skillnad. Tillsammans bidrar vi till en mer hållbar framtid genom kunskap och innovation. Vi anser att ny kunskap och nya perspektiv bäst skapas och uppnås i samverkan med andra - kollegor, studenter, näringsliv och offentlig sektor såväl nationellt som internationellt.

Hos oss läser närmare 20 000 studenter kurser och program inom design- och kommunikation, ekonomi, hälsa, teknik och skola samt kammarmusik och opera. Vår forskning bedrivs inom alla utbildningsområden och är internationellt framstående inom framtidens energi och inbyggda system. MDU finns i den expansiva tillväxtregionen Mälardalen med campus i Eskilstuna och Västerås.

På akademin för innovation, design och teknik läser våra studenter bland annat till datavetare, innovatörer, entreprenörer, illustratörer, kommunikatörer, nätverkstekniker och ingenjörer. Hos oss finns forskningsinriktningarna inbyggda system och innovation och produktrealisering. Vi har ett stort antal internationella samarbeten både inom forskning och utbildning, samt i samverkan och i strategiska avtal med företag, organisationer och myndigheter i regionen.

Anställningsinformation
Anställningsform: Tidsbegränsad anställning, 2 år
Omfattning: Heltid
Sista ansökningsdag: 2022-08-08
Stationeringsort: Västerås
Akademi/enhet/sektion: Akademin för innovation, design och teknik (IDT)

Arbetsuppgifter
Postdoktorn kommer att arbeta med att utveckla, anpassa och tillämpa modellerings- och verifieringstekniker med matematik som backas upp, för att säkerställa att komplexa cyberfysiska system beter sig som avsett. De system som kommer att fokuseras kommer främst att vara autonoma system som också kan innehålla AI/maskininlärningskomponenter som arbetar tillsammans med traditionella. För sådana system bör verifieringen vara skalbar och bygga på modeller som kan förklara och motivera AI/ML-algoritmernas beslut. Postdoktorn kommer att vara värd för gruppen Formal Modeling and Analysis of Embedded Systems (http://www.es.mdh.se/research-groups/35-Formal_Modelling_and_Analysis_of_Embedded_Systems ) och kommer att arbeta nära doktorander, seniora forskare och industriella partners i gruppen.

Tjänsten är en tidsbegränsad anställning på 2 år.

Kvalifikationer         
Den sökande ska ha avlagt doktorsexamen i Datavetenskap, eller Datateknik, eller motsvarande. Kandidaten ska ha avlagt doktorsexamen högst 3 år före ansökningstidens utgång. 

Den ideala kandidaten bör ha en stark bakgrund och erfarenhet av formella metoder och deras tillämpning på industriella system. En god programmeringskompetens är nödvändig, tillsammans med en bevisbar förmåga att lära sig och anpassa sig till nya tekniska sammanhang. Flytande engelska i tal och skrift krävs.

Avgörande vikt läggs vid personlig lämplighet. Vi värdesätter de kvaliteter som en jämn ålders- och könsfördelning samt etnisk och kulturell mångfald tillför verksamheten.

Meriterande
Ytterligare kunskaper om AI/ML-tekniker och deras kombination med formella metoder för systemverifiering är meriterande.      

Ansökan
Gör din ansökan genom att klicka på knappen ”Ansök” nedan.

De vetenskapliga publikationer som du inte har i digital form skickas per post till:

Mälardalens universitet
HR-sektionen
Ref.nr: 2022/1803
Box 883
721 23 Västerås

Den sökande ansvarar för att ansökan är komplett i enlighet med annonsen och universitetet tillhanda senast sista ansökningsdag.

Välkommen med din ansökan!

Vi undanber oss all kontakt med försäljare av annonser. Vi har gjort våra strategiska val för denna rekrytering.

Fackliga representanter:

Michaël Le Duc (SACO), tel: 021-10 14 02 
Susanne Meijer (OFR), tel: 021-10 14 89