Postdoktor inom projektet "Dynamical multi-agent systems''
Stockholms Universitet / Övriga jobb / Stockholm
Observera att sista ansökningsdag har passerat.
Visa alla övriga jobb i Stockholm,
Solna,
Lidingö,
Sundbyberg,
Danderyd eller i
hela Sverige Visa alla jobb hos Stockholms Universitet i Stockholm,
Solna,
Sundbyberg,
Sollentuna,
Täby eller i
hela Sverige vid Filosofiska institutionen. Sista dag att ansöka är 2017-06-04.
Projektbeskrivning
Ett multi-agent system (MAS) består av ett antal 'agenter' (mjukvara, datorer, robotar, investerare, anställda, etc.) som agerar autonomt och intelligent i en gemensam miljö i syfte att uppnå vissa individuella eller gemensamma mål, kommunicerar och interagerar med varandra och omgivningen, och som planerar och utför handlingar och strategier. De flesta multi-agent system är dynamiska: agenter kan tillkomma eller lämna systemet och förändra sina interna tillstånd, roller, funktionaliteter, förmågor att agera och interagera, målsättningar etc. inom systemet. Dessa dynamiska aspekter gör det till en utmaning att adekvat utforma, formellt specificera och verifiera beteendet hos sådana system. Det huvudsakliga syftet med projektet är att ta sig an dessa utmaningar och utveckla metoder för att lösa dem.
Forskningen inom projektet kommer i huvudsak att inbegripa följande: utveckling av ett generellt ramverk för att modellera dynamiska multi-agent system, design av formella språk som är lämpliga för dessa systems specifikation, samt design av praktiskt implementerbara logik-baserade algoritmiska metoder för att lösa det generella problemet med 'dynamisk verifiering', vilket inbegriper både modelltestning (model checking) och modellsyntes (model synthesis) som extremfall, såväl som kontrollsyntes (controller synthesis). Projektet syftar både till att utveckla en generell teori och metod, såväl som till att designa och implementera algoritmiska lösningar för några mer specifika fall.
Publiceringsdatum2017-05-09Dina arbetsuppgifterPostdoktorn förväntas producera högkvalitativt forskning inom projektet, både individuellt och i nära samarbete med huvudforskaren. Vederbörande förväntas också publicera resultaten av sin forskning i välrenommerade internationella tidskrifter och konferenser, och att sprida dem via internationella konferenser, workshoppar, seminarier och andra lämpliga evenemang. Dessutom inbegriper anställningen mjukvaruimplementering av några av de algoritmiska metoder som utvecklats inom projektet. Postdoktorn förväntas även utföra visst administrativt arbete relaterat till projektet, såsom att organisera konferenser, workshoppar och seminarier, såväl som att färdigställa rapporter. Anställningen inbegriper inga undervisningsåtaganden.
Behörighetskrav
Med postdoktor avses en arbetstagare som anställs i huvudsak för forskning och som har avlagt doktorsexamen eller har en utländsk examen som bedöms motsvara doktorsexamen.
Bedömningsgrunder
Examen ska vara avlagd högst tre år före ansökningstidens utgång. Om det finns särskilda skäl kan doktorsexamen ha avlagts tidigare. Sådana skäl är ledighet på grund av sjukdom, föräldraledighet, klinisk tjänstgöring, förtroendeuppdrag inom fackliga organisationer eller andra liknande omständigheter.
Ansökningar välkomnas från starkt motiverade och kompetenta individer som nyligen avlagt doktorsexamen i datavetenskap eller liknande ämne, och som har forskningserfarenhet och expertis relevant för projektet. Sökanden bör kunna styrka sin förmåga att producera högkvalitativ forskning genom att hänvisa till publikationer och sin avhandling, konferenspresentationer och referenser. De huvudsakliga kriterierna i urvalsprocessen är forskningsexpertis, potential och attityd hos den sökande.
Anställningen förutsätter inte några kunskaper i svenska, då projektet kommer att bedrivas och publiceras på engelska.
Anställningsvillkor
Anställningen är på heltid och tidsbegränsad till två år. Tillträdet är förhandlingsbart, dock ej senare än 2018-01-01.
Stockholms universitet strävar efter att vara en arbetsplats som är fri från diskriminering och ger lika möjligheter för alla.
Kontaktuppgifter för detta jobbFör övriga frågor, vänligen kontakta professor Valention Goranko via e-post:
valentin.goranko@philosophy.su.se, ange "VR post-doctoral position" i ämnesraden.
Fackliga företrädare
Se den fullständiga annonsen.
Så ansöker duDu söker anställningen via Stockholms universitets rekryteringssystem genom att klicka på knappen "Ansök". Du som sökande ansvarar för att ansökan är komplett i enlighet med annonsen och att den är universitetet tillhanda senast sista ansökningsdag.
OBS! Den fullständiga annonsen hittar du på Stockholms universitets webbplats
www.su.se/jobb under Lediga jobb.
Anvisningar för sökande finns på webbsidan: anvisningar - sökande.
Välkommen med din ansökan!
Stockholms universitet - hos oss ger utbildning och forskning resultat.
Varaktighet, arbetstid
Heltid/ Ej specificerat
ErsättningIndividuell lönesättning.
Så ansöker duSista dag att ansöka är 2017-06-04
Klicka på denna länk för att göra din ansökanFöretagStockholms universitet
AdressStockholms universitet
Stockholm
10691 Stockholm
KontorsadressStockholm
Jobbnummer 3486358
Observera att sista ansökningsdag har passerat.