Doktorand i kommunikations- och beräkningssystem

- med fokus på ”Design av Robusta och Säkra Kritiska Distribuerade Industriella Automation Reglersystem”

Luleå tekniska universitet är i stark tillväxt med världsledande kompetens inom flera forskningsområden. Vår forskning bedrivs i nära samarbete med företag som Bosch, Ericsson, Scania, LKAB, SKF och ledande internationella universitet. Luleå tekniska universitet omsätter totalt 1,7 miljarder kronor per år. Vi är idag 1 650 anställda och 15 500 studenter.

Vi formar framtiden genom nydanande utbildningar och banbrytande forskningsresultat. Med utgångspunkt i den arktiska regionen skapar vi global samhällsnytta.

Avdelningen datavetenskap vid Institutionen för system- och rymdteknik vid Luleå tekniska universitet söker en doktorand i ämnet Kommunikations-och beräkningssystem för att arbeta med ”Design av Robusta och Säkra Kritiska Distribuerade Industriella Automation Reglersystem”.

Som doktorand kommer du att vara en del av en forskargrupp som arbetar med intelligenta industriella automation system samt intelligenta byggnadsautomationssystems. Du förvärvar unik kunskap och färdigheter och kommer att ingå i en kreativ forskningsmiljö i samarbete med industriella partners.

Ämnesbeskrivning
Ämnet omfattar forskning kopplat till integrerad utveckling och hantering av pålitliga nätverksarkitekturer, resurseffektiva algoritmer och programmeringsparadigmer som samverkar för att skapa pålitlighetsegenskaper i valda tillämpningar.

H2020 Project
Doktorandforskningen kommer att vara källa till motivation och hitta möjlig tillämpning i det pågående H2020-projektet 1-SWARM (med fokus på svärmintelligens i Cyberfysikaliska System av System. Forskningen är tvärvetenskaplig och inkluderar forskning i verifierings- och valideringsmetoder, programvara för distribuerad industriell automatisering, statisk analys och maskininlärning.

Projektbeskrivning
Doktorandforskningen "Design av Robusta och Säkra Kritiska Distribuerade Industriella Automation Reglersystem" kommer att fokusera på verifiering och validering av programvara för industriella automationsstyrsystem. Ett viktigt mål med denna forskning är att studera genomförbarheten av automatiserad feldetektering av programvara för industriella automatiseringsstyrsystem. Den automatiska feldetekteringsprocessen kan innehålla metoder som enhetstestning och formell verifiering. Dessa metoder kommer att använda modelldrivna såväl som datadrivna metoder. Exakta matematiska modeller av styrsystemets programvara måste automatiskt genereras för att kunna utföra formell verifiering. Avancerade artificiell intelligens tekniker som maskininlärning och mönsterigenkänning ska användas i processen för automatisk generering av formella modeller samt styrsystem. Projektet ska omfatta forsknings- och utvecklingsaktiviteter. Utvecklingen av aktiviteter kommer att vara relaterad till verktygsutveckling och/eller pluginutveckling för att underlätta verifiering och validering av styrsystemets programvara.

Arbetsuppgifter
Du kommer att arbeta i ovan beskrivna projekt och delta i aktiviteter i 1-SWARM-projekt. Du tar kurser medan du gör avhandlingar i form av t.ex. litteraturöversikt, artikelskrivning, designstudier, konstruktions- och programmeringsuppgifter, teoriutveckling, analys och presentationer. Forskningsämnet är tvärvetenskapligt och omfattar både vetenskap och teknik. Resultaten kommer att publiceras på engelska i tidskrifter och internationella konferenser. Det finns undervisning och andra uppgifter vid avdelningen och/eller institutionen för doktorander, vilket är begränsat till högst ett år av den totala perioden som inte överstiger fem år.

Kompetens och erfarenhet
Vi letar efter en duktig, analytiskt stark och motiverad kandidat, som kan utföra forskarutveckling, både självständigt och i samarbete med resten av arbetslaget. Den nödvändiga bakgrunden för sökande är en magisterexamen i datavetenskap, eller motsvarande. Den sökande måste ha kunskaper i mjukvaruutveckling och matematisk modellering. Exponering för ämnen relaterade till formell verifiering, formella verifieringsverktyg (som NuXMV och SPIN), dataanalys, maskininlärning, distribuerad artificiell intelligens är en fördel. Den sökande måste vara flytande i muntlig och skriftlig engelska. Det är en fördel om du har tidigare erfarenhet av forskning och publicering.

Studieplaner för forskarutbildning inom teknisk fakultet

Övrig information
För ytterligare information är du välkommen att kontakta: Professor Valeriy Vyatkin valeriy.vyatkin@ltu.se och/eller Dr. Sandeep Patil sandeep.patil@ltu.se

Fackliga företrädare: SACO-S Kjell Johansson kjell.johansson@ltu.se 0920-491529, OFR- Lars Frisk, Lars.Frisk@ltu.se  0920-491792

Ansökan
Vi ser helst att du söker befattningen via ansökningsknappen nedan där du bifogar personligt brev samt CV/meritförteckning och examensbevis. Var vänlig och märk din ansökan med referensnumret nedan. Ansökan samt examensbevis måste vara skrivna på svenska eller engelska.

Sista ansökningsdag: 7 augusti, 2020
Referensnummer: 2053-2020