Installera Ledigajobb.se för snabb åtkomst! Vill du snabbt hitta tillbaka till Ledigajobb.se?
Du är offline.
Försök igen.
Biträdande lektor i datavetenskap med fokus på formella metoder
Skicka ansökan 21 dagar kvar
Lektor Lärare Forskare Biträdande lektor Universitetslektor
21 dagar kvar

Arbetsbeskrivning

Mälardalens universitet (MDU) är Sveriges nyaste universitet. Med vår vision, att vara ett progressivt och samverkande universitet där vi tillsammans formar en hållbar framtid, vill vi göra verklig skillnad. Vill du vara med och bidra till vår utveckling? 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. På akademin för innovation, design och teknik läser våra studenter bland annat till datavetare, innovatörer, entreprenörer, informationsdesigners, nätverkstekniker och ingenjörer. Hos oss finns fem forskningsinriktningar med olika forskningsprofiler och forskarskolor. 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, 4 år Anställningsperiod/tillträde: 2025-09-01 eller enligt överenskommelse Omfattning: Heltid Antal anställningar: 1 Sista ansökningsdag: 2025-07-17 Stationeringsort: Västerås Akademi/enhet/sektion: Akademin för innovation, design och teknik (IDT) För en utförlig beskrivning av de grundläggande behörighetskrav och bedömningsgrunder som gäller för en anställning som biträdande lektor vid MDU, hänvisas till Anställningsordning vid Mälardalens universitet https://www.mdu.se/om-mdu/jobba-med-oss/lediga-jobb Arbetsuppgifter En anställning som biträdande lektor är en tidsbegränsad meriteringsanställning på minst fyra och högst sex år enligt Högskoleförordningen 4 kap. 12 a§. Anställningens syfte är att få möjlighet att utveckla sin självständighet som forskare och meritera sig såväl vetenskapligt som pedagogiskt för att uppfylla kraven på behörighet för en anställning som universitetslektor. Forskningsområdet, formella metoder för autonoma system, syftar till att utveckla ett holistiskt ramverk för formell verifiering av både säkerhet och trygghet hos autonoma robotar och deras digitala tvilling, samt automatiserad syntes av säkra styrenheter genom tillämpade kombinerade tekniker för formell verifiering och AI. Detta innebär att utveckla avancerade metoder för modellering av komplexa autonoma system som verkar i oförutsägbara miljöer, fånga oförutsägbarhet och utveckla syntes- och verifieringstekniker baserade på exempelvis modellkontroll i kombination med maskininlärning, för att möjliggöra garantier för säkerhet och trygghet hos industriella autonoma system. Anställningen kommer att bestå av 80 %–90 % forskning och 10 %–20 % undervisning med inriktning mot autonoma robotsystem inom industriell automation, hälso- och sjukvård samt transportsektorn. Forskningsdelen kommer att inkludera både egen forskning och deltagande i projekt i samarbete med andra forskare och doktorander vid MDU, samt samverkan med externa aktörer (både offentlig och privat sektor). Handledning av doktorander, master- eller kandidatstudenter kan ingå i arbetsuppgifterna, liksom samarbete i ansökningar om extern forskningsfinansiering. En obligatorisk uppgift är att innehavaren av BUL-tjänsten ska säkra extern finansiering för sig själv och en doktorand inom fyra år för att kunna avancera till en meriteringsanställning som lektor; annars upphör anställningen efter fyra år. Kandidaten kommer att vara en uppskattad medlem av NES-avdelningen och bidra med värdefulla forskningsresultat och undervisning i utvecklingen av nya teknologier för att garantera säkerhet och trygghet hos autonoma robotsystem – från design till implementation. Behörighetskrav Vi söker dig som har avlagt doktorsexamen eller har nått motsvarande kompetens högst sju år före ansökningstidens utgång.   För att anställas som lärare vid MDU efterfrågas högskolepedagogisk utbildning eller motsvarande kunskaper. Den som anställs men saknar högskolepedagogisk utbildning kommer erbjudas att genomgå sådan i anställningen inom två och ett halvt år. Den högskolepedagogiska utbildningen vid Mälardalens universitet motsvarar tio veckors utbildning. För denna anställning tillkommer följande behörighetskrav, utöver de som är fastställda i Anställningsordning vid MDU: Doktorsexamen i datavetenskap. Dokumenterad expertis inom formella metoder för verifiering av säkerhet och trygghet hos autonoma system samt design av digitala tvillingar, tidigare eller pågående samarbete med industriella partner, samt en stark publiceringsmeritlista, varav vissa i ledande (A/Q1) tidskrifter eller konferenser. Flytande engelska. Bedömningsgrunder   Vid befordran till universitetslektor Vid utgången av anställningen som biträdande lektor har du rätt att prövas för anställning som universitetslektor. Anställningen som universitetslektor är tillsvidare. Ansökan om befordran ska ha inkommit senast sex månader innan anställningstidens utgång. Vid tidpunkten för befordran till universitetslektor ska du ha genomgått behörighetsgivande högskolepedagogisk utbildning. Denna annons är förkortad. För att se hela annonsen, gå till: https://www.mdu.se/om-mdu/jobba-med-oss/lediga-jobb                                                                  Ansökan Du gör din ansökan genom att klicka på knappen ”Ansök” nedan. De vetenskapliga publikationer som du inte har möjlighet att bifoga i digital form i ansökan skickas per post senast sista ansökningsdag i 3 exemplar till: Mälardalens universitet HR-sektionen Refnr: Box 883 721 23 Västerås Du som 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! Fackliga representanter: Saco-S [email protected] Susanne Meijer ST-OFR/S, tel: 021-10 14 89 Vi undanber oss all kontakt med försäljare av annonser. Vi har gjort våra strategiska val för denna rekrytering.

Mer info

Anställningsform Vanlig anställning
Publicerad 2025-06-26
Lön Fast månads- vecko- eller timlön
Antal platser 1
Varaktighet 6 Månader eller längre
Hemsida Länk

Sök jobbet

Ansök via arbetsgivarens hemsida

Skicka ansökan

Liknande jobb

Assistent Kalkylator HVAC-ingenjör Projektassistent VA-projektledare Logistikassistent Ventilationsingenjör Ventilationstekniker Teknisk administratör Installationssamordnare Projektledare koordinator Assisterande projektledare Administrativ projektledare Drift- och underhållstekniker
16 juni
Koordinator Projektledare Utbildningsledare Projektkoordinator Utbildningsansvarig Utbildningskoordinator Utbildningsadministratör Administrativ koordinator Projektledare koordinator
19 juni