Postdoktor i datavetenskap, systempålitlighet och säkerhet

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

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.

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.

Bedömningsgrunder
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. 

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

Lika villkor

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:
http://www.liu.se/jobba/lediga-jobb?l=sv&&rmpage=job&rmjob=5247&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.