Postdoktor i i formell analys av cyberfysiska system
Mälardalens Universitet / Datajobb / Västerås
Observera att sista ansökningsdag har passerat.
Visa alla datajobb i Västerås,
Hallstahammar,
Surahammar,
Eskilstuna,
Enköping eller i
hela Sverige Visa alla jobb hos Mälardalens Universitet i Västerås,
Eskilstuna,
Nyköping,
Karlskoga eller i
hela Sverige 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 dag att ansöka är 2022-08-08
Stationeringsort: Västerås
Akademi/enhet/sektion: Akademin för innovation, design och teknik (IDT)
Publiceringsdatum2022-06-28Dina arbetsuppgifterPostdoktorn 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.
Så ansöker duGö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
Varaktighet, arbetstid
Heltid/ Ej specificerat
Ersättningmånadslön
Så ansöker duSista dag att ansöka är 2022-08-08
Klicka på denna länk för att göra din ansökanFöretagMÄLARDALENS UNIVERSITET
Omfattning Detta är ett heltidsjobb.
Arbetsgivare Mälardalens Universitet (org.nr 202100-2916),
http://www.mdh.se Arbetsplats Mälardalens högskola
Kontakt Cristina Seceleanu, Associate Professor
cristina.seceleanu@mdh.se Jobbnummer 6782489
Observera att sista ansökningsdag har passerat.