Doktorand I Datalogi (wasp)
Linköpings universitet / Civilingenjörsjobb / Linköping
Observera att sista ansökningsdag har passerat.
Visa alla civilingenjörsjobb 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 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/idaLINKÖPINGS UNIVERSITET
ledigförklarar upp till två (2) anställningar som
Doktorand i datalogi med placering vid Institutionen för Datavetenskap inom ramen för WASP.
Wallenberg AI, Autonomous Systems Program, WASP, är Sveriges hittills största enskilda forskningsprogram. 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 fungerar 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.
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. Ett ambitiöst program är avsett att forma ett internationellt och professionellt nätverk mellan doktorander, seniora forskare och industrins experter.
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 finns att tillgå här.
Publiceringsdatum2019-12-13Dina arbetsuppgifterDen som är anställd som doktorand skall främst ägna sig åt sin forskarutbildning. En doktorand får dock i begränsad omfattning arbeta med utbildning, forskning och administration. Sådant arbete får, innan doktorsexamen har avlagts, inte omfatta mer än 20 procent av full arbetstid.
Constraint Satisfaction Problems (CSP) är en välkänd och viktig klass av beräkningsproblem med ett brett användningsområde inom datalogi, artificiell intelligens och matematik. En instans av detta problem består av en mängd variabler, en domän av variabelvärden och en mängd villkor som begränsar tillåtna variabeltilldelningar. En lösning till en sådan probleminstans består av en tilldelning av värden till variablerna som samtidigt uppfyller alla villkor. Beräkningskomplexiteten för sådana problem har studerats intensivt under de senaste årtiondena och ett antal forskningsgenombrott har gjorts under de senaste åren för problem där domänen är ändlig. Dessa genombrott har till stor del baserats på utnyttjandet av matematiska metoder hämtade från, exempelvis, universalalgebra och matematisk logik. Detta projekt handlar om att utveckla nya algoritmer för att lösa CSPer baserade på oändliga domäner - sådana problem har mycket intressanta tillämpningar inom datavetenskap och artificiell intelligens (såsom spatiotemporala resonemang, maskininlärning, schemaläggning och bioinformatik). Projektet siktar mot att få fram algoritmer vars komplexitet är väsentligen lägre än nuvarande algoritmer. Arbetet inkluderar att konstruera lämpliga algoritmer, analysera deras komplexitet, och att identifiera generella metoder för algoritmkonstruktion och -analys.
Behörighet
Behörig till anställning som doktorand är bara den som antas eller redan har antagits till forskarutbildning.
Den sökande ska ha en stark bakgrund inom datavetenskap och matematik. Kunskaper inom diskret matematik, logik och beräkningskomplexitet är meriterande. Projektet är i första hand inriktat mot teoretiskt arbete.
Förordnandetid
Den första anställningen får gälla högst ett år. Anställningen får förnyas med högst två år i taget. En person får vara anställd som doktorand under sammanlagt högst åtta år. Den sammanlagda anställningstiden får dock inte vara längre än vad som motsvarar utbildning på forskarnivå på heltid under fyra år.
TillträdeEnligt överenskommelse.
ErsättningIngångslön för innehavare av doktorandanställning regleras utifrån en för institutionen lokalt avtalad lönestege.
Facklig kontaktFör kontakt med fackliga kontaktpersoner se nedan.
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 12 januari 2020. Ansökan som inkommer efter sista ansökningsdag beaktas ej.
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ättningLön för doktorander regleras utifrån en för institutionen lokalt avtalad lönestege
Så ansöker duSista dag att ansöka är 2020-01-12
Klicka på denna länk för att göra din ansökanFöretagLinköpings Universitet
Omfattning Detta är ett heltidsjobb.
Arbetsgivare Linköpings Universitet (org.nr 202100-3096),
https://www.liu.se/ Jobbnummer 5000999
Observera att sista ansökningsdag har passerat.