OBS! Ansökningsperioden för denna annonsen har
passerat.
Arbetsbeskrivning
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 doktorand inom Datavetenskap med formell verifiering och maskininlärning som inriktning.
Arbetsuppgifter
Projektet handlar om ”Machine learning with safety guarantees”. Tillämpningar av maskininlärning till säkerhetskritiska system (saftey critical systems) saknar fortfarande lämpliga tekniker för att formellt fastställa deras korrekthet. Projektet syftar till att utveckla ett ramverk som integrerar inlärning och formella verifieringsmetoder. Projektet är ett samarbete mellan två väletablerade forskningsgrupper från Linöping och Lund. Du kommer att verka i Linköpings universitet inom en forskningsmiljö i världsklass där forskningen drivs i nära samarbete med flera erkända forskningsgrupper och industriella partners. Denna doktorandanställning är en del av den stora nationella forskningssatsningen WASP.
Wallenberg AI, Autonomous Systems and Software Program, WASP, är Sveriges största enskilda forskningsprogram i modern tid. Programmet skapar en plattform för akademisk forskning och utbildning i nära samarbete med ledande svensk teknikintensiv industri. Forskningen innefattar artificiell intelligens och autonoma system som verkar i samarbete med människor och som anpassar sig till sin omgivning med hjälp av sensorer, information och kunskap och skapar intelligenta system av system. WASPs vision är excellent forskning och kompetens inom artificiell intelligens, autonoma system och mjukvara till gagn för svensk industri.
Läs mer: https://wasp-sweden.org.
Forskarskolan inom WASP har som mål att förse framtidens forskare med nödvändig kunskap för att kunna analysera, utveckla och bidra aktivt till den tvärvetenskapliga utvecklingen av artificiell intelligens, autonoma system och mjukvara. Genom ett ambitiöst program med forskningsbesök, partneruniversitet och gästföreläsare stöder forskarskolan aktivt bildandet av ett starkt multidisciplinärt och internationellt professionellt nätverk mellan doktorander, forskare och industri. Forskarskolan erbjuder därmed en unik möjlighet för de studenter som lockas av internationell forskning i världsklass med industriell relevans.
Mer information: https://wasp-sweden.org/graduate-school.
Som doktorand ägnar du dig åt din forskarutbildning och forskningsprojekt där du ingår. I ditt arbete kan även ingå att undervisa eller att delta i andra institutionsuppdrag, upp till 20% av heltid.
Dina kvalifikationer
Du har avlagt examen på avancerad nivå inom datavetenskap, datateknik eller ett relaterade område eller har slutfört kurser om minst 240 högskolepoäng varav minst 60 högskolepoäng på avancerad nivå inom de relevanta områdena eller på något annat sätt förvärvat i huvudsak motsvarande kunskaper.
Som sökande till denna anställning förväntas du erhålla en stark bakgrund inom artificiell intelligens eller maskininlärning, mjukvaruutveckling, och matematik eller statistik. Du förväntas också ha solida programmeringsfärdigheter samt kunna, utan hinder, kvalitativt kommunicera på skriven och talad engelska.
Vi ser extra erfarenheter inom maskininlärning (akademiska eller på industri) samt exceptionella prestationer i matematik eller i relaterade områden som fördel i en ansökan.
Fackliga kontaktpersoner
Information om fackliga kontaktpersoner, se Hjälp för sökande
Lika villkor
Flertalet av våra doktorander inom Institutionen för datavetenskap ä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://liu.se/jobba-pa-liu/lediga-jobb?rmpage=job&rmjob=17026&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.