Postdoktor inom verifikation av AI baserade system

Mälardalens Högskola / 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 Högskola i Västerås, Eskilstuna, Arboga, Flen, Södertälje eller i hela Sverige

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 dag att ansöka är 2022-01-09
Stationeringsort: Västerås
Akademi/enhet/sektion: Akademin för innovation, design och teknik (IDT)

Publiceringsdatum
2021-11-15

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

Så ansöker du
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.

Varaktighet, arbetstid
Heltid/ Ej specificerat

Ersättning
Månadslön

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

Företag
Mälardalens Högskola

Omfattning
Detta är ett heltidsjobb.

Arbetsgivare
Mälardalens Högskola (org.nr 202100-2916), http://www.mdh.se

Arbetsplats
Mälardalens högskola

Kontakt
Cristina Seceleanu, Assoc.Prof
cristina.seceleanu@mdh.se
+ 46 702 83 77 17

Jobbnummer
6148344

Observera att sista ansökningsdag har passerat.

Postdoktor inom verifikation av AI baserade system

Prenumerera på jobb från Mälardalens Högskola