Doktorand i Kommunikations- och beräkningssystem

Luleå Tekniska Universitet / Datajobb / Luleå
2013-01-30
Observera att sista ansökningsdag har passerat.
➡️ Klicka här för den senare publicerade platsannonsen "Doktorand i Kommunikations- och beräkningssystem" (publicerad 2023-12-22) ⬅️

Visa alla datajobb i Luleå, Boden, Piteå, Kalix, Älvsbyn eller i hela Sverige
Visa alla jobb hos Luleå Tekniska Universitet i Luleå, Boden, Piteå, Kalix, Överkalix eller i hela Sverige

Forskargruppen Kommunikations- och beräkningssystem vid Luleå tekniska universitet söker en doktorand. Doktorandtjänsten är lämplig för datavetare och datortekniker, programmerare, styr- och reglertekniker och motsvarande. Forskningsaktiviteterna vid Kommunikations- och beräkningssystem riktar främst in sig på olika aspekter av modern industriell databehandling, såsom design och validering av industriella kontroll- och automatiseringssystem på systemnivå, simulering och verifiering, samt driftsäker kommunikation. Driftsäkra kommunikations- och beräkningssystem är en bred vetenskapsgren som täcker in design och utveckling av uppdragskritiska datorbaserade informations-, kontroll- och kommunikationssystem i olika industrier.

NYCKELORD

Inbäddade styrsystem, distribuerad automatisering, IEC 61499, IEC 61131-3, generativ programmering, IEC 62424, PI&D, AutomationML, CAEX, semantiska webben, ontologier, SWRL, grafteori, attributbaserad grafomskrivning.

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

Publiceringsdatum
2013-01-30

Arbetsuppgifter
I det här projektet ska doktoranden undersöka förutsättningarna för automatisk framtagning av industriella kontrollprogram. Specifika intresseområden är: processteknologier, gruvsystem och energisystem. Dessa kommer (bland annat) att omfatta formulär för kravspecifikationer, som oftast används inom industriell automatisering, deras formalisering, automatiseringsprogrammens designmönster och metoder för automatisk framtagning. Forskningsfokus kommer att ligga på förslag på mycket återanvändbara programmodeller för vissa identifierade industrier och på modeller och mekanismer som stödjer framtagningsprocessen, till exempel baserade på semantiska webbteknologier. Arbetet kan även omfatta ytterligare undersökningar, till exempel kring formalisering och integrering av specifikationer. Kandidaten förväntas bidra både med teorier och tillämpningar.

Kvalifikationer
Vi söker en kandidat med civilingenjörsexamen/master inom datavetenskap, datorteknik eller motsvarande som helt har uppfyllt kurskraven om minst 240 högskolepoäng, av vilka minst 80p/120 högskolepoäng är på avancerad nivå. Goda kunskaper i muntlig och skriftlig kommunikation på engelska är ett krav. Deltagande och prisplats i nationella eller internationella matematiktävlingar liksom i nu aktiva vetenskapliga publikationer i internationellt granskade protokoll inom forskningsämnets område betraktas som ett definitivt plus.

Se även;Allmän studieplan för utbildning på forskarnivå i Kommunikations- och beräkningssystem på vår hemsida, samt:

Allmänna studieplaner - Tekniska fakultetsnämnden

Att bli doktorand innebär fyra års studier på forskarnivå med en doktorsexamen som avslutning.

INFORMATION

För vidare information är du välkommen att kontakta professor Valeriy Vyatkin, e-post: valeriy.vyatkin@ltu.se eller docent Evgeny Osipov, tel 0920-49 15 78
(mellan 10-16, mån-fre), e-post: evgeny.osipov@ltu.se

Om forskningsgrupperna inom Kommunikations- och beräkningssystem http://www.ltu.se/research/subjects/Kommunikations-och-berakningssystem?l=en

De fackliga företrädarna SACO, TCO, OFR når du via växeln 0920-49 10 00.

ANSÖKAN

Vi ser helst att du söker befattningen via länken nedan där du bifogar Personligt brev samt CV/ meritförteckning och examensbevis. Du kan även skicka din ansökan märkt med referensnummer till Luleå Tekniska Universitet, Registrator, 971 87 Luleå. Den kan även skickas elektroniskt till registrator@ltu.se

Sista ansökningsdag: 28 Februari 2013

Referensnummer: 2777-12

Arbetstider och omfattning
Dag , Heltid , Tidsbegränsad anställning

Så ansöker du
Ansökan kan tyvärr inte göras via e-post.
Klicka på denna länk för att göra din ansökan

Företag
Luleå tekniska universitet

Adress
Luleå tekniska universitet
Universitetsområdet, Porsön
97187 LULEÅ

Jobbnummer
1453270

Observera att sista ansökningsdag har passerat.

Doktorand i Kommunikations- och beräkningssystem

Prenumerera på jobb från Luleå Tekniska Universitet