Postdoktor i datavetenskap, systempålitlighet- och säkerhet

Linköpings universitet / Högskolejobb / Linköping
Observera att sista ansökningsdag har passerat.

Visa alla högskolejobb i Linköping, Mjölby, Åtvidaberg, Finspång, Motala eller i hela Sverige
Visa alla jobb hos Linköpings universitet i Linköping, Finspång, Motala, Norrköping, Kinda eller i hela Sverige

Linköpings universitet ledigförklarar upp till två (2) anställningar som
Postdoktor i datavetenskap, systempålitlighet- och säkerhet
med placering vid Institutionen för datavetenskap

Publiceringsdatum
2017-06-22

Dina arbetsuppgifter
En postdoktor ska i huvudsak bedriva forskning. Även undervisning kan ingå i arbetsuppgifterna, dock till högst en femtedel av arbetstiden.

En forskare förväntas bidra till projekt inom systemsäkerhet för avioniksystem. Mer specifikt verktyg och metoder för att på ett tidigt designstadium skapa modeller för applikationer och plattformar, även sådana som inte är i bruk idag (t.ex. multicoreplattformar och kommande arkitekturer) samt analys av det tänkta systemets modeller matematiskt. För att kunna identifiera arkitekturella val som är fördelaktiga bör hänsyn tas till realtidsegenskaper, resurseffektivitet, och felhanteringsegenskaper, och systemets olika säkerhetskrav (både "safety" och "security"). Arbetet ingår i samarbete med SAAB och utförs i samarbete med forskare inom ramen av nationella avoinikprogrammet eller övriga internationella samarbeten (tex samarbetspartners i Brasilien). Kandidater med stark bakgrund inom datavetenskap särskilt formell verifiering (både deterministiska pch stokastiska), verktygsstöd för modellbaserad utveckling och pålitlighetsanalys uppmuntras speciellt att söka.

En forskare förväntas bidra till projekt inom pålitlighet för kritisk infrastruktur, även kallat industrial control systems (ICS), vilket utförs inom ramen av nationella forsknings centret för resilienta information och styrsystem (www.rics.se). Här förväntas forskaren främja metoder för att öka pålitligheten av system som servar samhällsviktiga funktioner. Detta genom att identifiera sårbarheter, skapa nya skyddsmekanismer inom så kallade SCADA system för övervakning och styrning av kritisk infrastruktur, där både säkerhet (safety) och informationssäkerhet (security) är relevanta. Systemet har dessutom specifika applikationsberoende tidskrav och utnyttjar nätverksprotokoll för distribuerad sensoravläsning och styrning (både standardiserade och domänspecifika sådana). Kandidater med stark bakgrund inom datavetenskap särskilt modellbaserad riskanalys, realtidsanomalidetektering och "benchmark"-utveckling för emulering av dataflödet inom ICS system efterlyses.

Behörighet
Behörig till anställning som postdoktor är den som har avlagt doktorsexamen eller har en utländsk examen som bedöms motsvara doktorsexamen, och som har avlagt examen högst tre år före ansökningstidens utgång.

Bedömningsgrunder
Att ha publicerat sitt arbete i förstklassiga publiceringsforum (tidskrifter och konkurrensutsatta konferenser) inom ovanstående områden är en merit. Sökande med tidigare erfarenheter i modellbaserad analys inom UML-MARTE, AADL, eller relaterade områden prioriteras för avionikprojektet.

Meriterande för den ICS-relaterade tjänsten är tidigare erfarenhet i verktygsutveckling och nätverksanalys inom skydd av kritisk infrastruktur, t ex arbete med SCADA-specifika protokoll.

För båda tjänsterna gäller att samarbetet med aktörer i näringslivet inom Sverige sker med svenska som arbetsspråk och svenska språkkunskaper är därför meriterande. Dessutom förväntas forskaren kunna bidra till projektadministration och ges möjligheten att samarbeta med doktorander verksamma inom området.

Facklig kontakt
För kontakt med fackliga kontaktpersoner se http://old.liu.se/jobba/lediga-jobb/fackliga-kontaktpersoner?l=sv

Lika villkor
Flertalet av våra postdoktorer inom institutionen är män, därför ges kvinnor företräde vid tillsättning av denna anställning, vid i huvudsak lika meriter i övrigt.

För mer information om anställningen:
https://www.liu.se/jobba/lediga-jobb?l=sv&&rmpage=job&rmjob=6134&rmlang=SE

Linköpings universitet ska fortsätta att utvecklas som en attraktiv och kreativ arbetsplats som präglas av lika villkor och arbetar därför aktivt för jämställdhet och mångfald.

Välkommen med din ansökan!

Linköpings universitet har upphandlade avtal och undanber oss direktkontakt från bemannings- och rekryteringsföretag samt försäljare av platsannonser.

Varaktighet, arbetstid
Heltid/ Ej specificerat

Ersättning
Universitetet tillämpar individuell lönesättning

Så ansöker du
Sista dag att ansöka är 2017-08-31
Klicka på denna länk för att göra din ansökan

Företag
Linköpings Universitet

Adress
Linköpings Universitet
Institutionen för datavetenskap
58183 Linköping

Kontorsadress
Institutionen för datavetenskap

Jobbnummer
3571437

Observera att sista ansökningsdag har passerat.

Postdoktor i datavetenskap, systempålitlighet- och säkerhet

Prenumerera på jobb från Linköpings universitet