Postdoktor inom verifikation av AI baserade system

På Mälardalens högskola möts människor som vill utveckla sig själva och framtiden. Våra 19 900 studenter läser kurser och program inom ekonomi, hälsa, teknik och utbildning på våra campus i Eskilstuna och Västerås eller på distans. Vi bedriver forskning inom alla utbildningsområden och har internationellt framstående forskning inom framtidens energi och inbyggda system. Vårt nära samarbete med näringsliv och offentlig sektor gör att vi på MDH bidrar till att människor mår bättre och jorden håller längre.

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: 2021-12-15
Stationeringsort: Västerås
Akademi/enhet/sektion: Akademin för innovation, design och teknik (IDT)

Arbetsuppgifter
Som postdoktor kommer du att arbeta med att utveckla, anpassa och tillämpa verifieringstekniker med stöd av matematik, för att säkerställa att AI/ML-komponenter levererar de förväntade resultaten till icke-AI-komponenter i nätverksanslutna (säkerhetskritiska) system. Verifieringen bör vara skalbar och ska förlita sig på modeller som kan förklara och motivera besluten som kommer från AI/ML-algoritmerna. Postdoktorn kommer att vara placeras i 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 ha ett nära samarbete med 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.     

Som kandidat behöver du ha en stark bakgrund och erfarenhet av formella metoder och grundläggande föreställningar om datornätverk, särskilt i hur datorenheter fungerar i nätverksmiljöer och om relaterade systemegenskaper.

En god programmeringsexpertis är nödvändig, tillsammans med en verifierbar förmåga i att lära sig och anpassa sig till nya tekniska sammanhang.

Det krävs att den sökande kan uttrycka sig på engelska i både tal och skrift.

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 och distribuerade system ses som 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 högskola
HR-sektionen
Ref.nr: 2021/2896
Box 883
721 23 Västerås

Den sökande ansvarar för att ansökan är komplett i enlighet med annonsen och högskolan 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.