Postdoktor inom AI, WASP

Kunniga och engagerade medarbetare med goda förutsättningar är en av de absolut viktigaste framgångsfaktorerna för Linköpings universitet. Lärare och forskare är vår kärnkompetens, men ett framgångsrikt universitet behöver erfarna och motiverade medarbetare inom många områden. Alla roller är viktiga.Vi har ett stort rekryteringsbehov bland annat tack vare en forskningsverksamhet i expansion. Du behövs här. Välkommen att söka jobb hos oss!

Institutionen för datavetenskap (IDA) grundades 1983 men våra rötter går tillbaka till tidigt 1970-tal. Det är en av de största datavetenskapliga institutionerna i norra Europa.

Vår forskning täcker ett brett spektrum av områden, från grundläggande datavetenskap till tillämpade områden. Den omfattande forskningen påverkar även vår grund- och forskarutbildning, vilket leder till att vi ger kurser inom flertalet civil- och högskoleingenjörsprogram, samt programmen inom innovativ programmering, kognitionsvetenskap och statistik.
Läs mer: https://liu.se/organisation/liu/ida

LINKÖPINGS UNIVERSITET
ledigförklarar en anställning som
Postdoktor inom Datalogi
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.

Denna utlyning är för en postdoktor inom AI och formell verifiering för system med pålitlighetskrav. Positionen är finansierad inom ramet av ett Sverige-Singapore samarbete inom nationella forskningsprogrammet Wallenberg AI, Autonomous Systems and Software Program, WASP. Kandidaten bidrar till att göra analyser på AI komponenter med inslag av maskininlärning så att man kan avgöra om systemet beter sig enligt önskemål redan vid design stadiet och kunna presentera förklaringar för beslut som byggs på insamlad data via sensorer. Sådana system är idag inte betraktade som pålitliga i en sådan grad som krävs för säkerhetskritiska tillämpningar (t.ex. automotiv, avionik). Detta projekt organiseras i samarbete med Chalmers (Professor Carl Seger) and Singapore NanYang Technological University (Professor Liu Yang) med avsikten att skapa symboliska abstraktioner av träningsdata samt klassifieringar som görs av djupinlärning komponenter. Dessa abstraktioner ska sedan ligga till grund för formell verifiering av systemets pålitlighet och metamorsisk testning av resulterande system. Postdoktorala forskaren kommer att samarbeta med en redan aktiv doktorand inom labbet som arbetar med säkerhetskritiska avionik system.

Vi erbjuder en internationellt erkänd forskningsmiljö med väldigt bra förutsättningar för framgångsrik forskning och ett brett nätverk med samarbeten inom industri och akademi i Sverige. I forskargruppen vid laboratoriet för realtidssystem arbetar flera doktorander inom områdena säkerhet för kritisk infrastruktur, systemmodellering och verifiering, samt säkerhet och resurshantering för framtida nätverk (edge, 5G, fordon). En postdoktor kommer kunna dra nytta av vårt breda nätverk av samarbetspartner, trevliga arbetskamrater och bidra till att stärka pågående forskning i labbet med befintliga och kommande doktorander. Vi välkomnar kandidater som söker en framtida karriär inom akademin eller offentliga/privata forskningspositioner i Sverige och vill växa som forskare. Kandidaten får möjligheten att träna sig i att söka och erhålla forskningsbidrag med stöttning från seniora forskare.

Behörighet
Behörig till anställning som postdoktor är den som har avlagt doktorsexamen inom relevant område inom datavetenskap 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.

Publikationer i högkvalitativa tidskrifter och toppkonferenser inom områden som är relevanta för arbetet, dvs AI och maskininlärning (ML), kunskapsrepresentation, adversariell ML, formell modellering och verifiering, abstrakt interpretation, kommer att prioriteras.

Krav för tjänsten är utmärkt förmåga att kommununicera på engelska i tal och skrift. 

Förordnandetid
En postdoktor får anställas tills vidare dock längst två år. Anställningen får förlängas om det finns särskilda skäl.

Tillträde
Februari 2021 eller enligt överenskommelse.

Lön
Universitetet tillämpar individuell lönesättning.

Fackliga kontaktpersoner
Information om fackliga kontaktpersoner, se Hjälp för sökande.

Ansökningsförfarande
Du söker denna anställning genom att klicka på knappen ”Ansök” nedan. Din ansökan ska vara Linköpings universitet tillhanda senast den 31 januari, 2021. Ansökan som inkommer efter sista ansökningsdag beaktas ej.

Läs anonnsen i sin helhet och ansök på Linköpings universitets hemida:

https://liu.se/jobba-pa-liu/lediga-jobb?rmpage=job&rmjob=14880&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.