Logic List Mailing Archive

Postdoctoral research fellowship (2y) in dynamical multi-agent systems, Stockholm (Sweden), Deadline: 4 June 2017

================================================================

Two-year postdoctoral research fellowship at Stockholm University, Sweden,

on "Dynamical multi-agent systems: modelling, algorithmic verification and 
synthesis"

Ref. No. SU FV-1480-17

================================================================

This postdoctoral fellowship is funded by the Swedish Research Council 
(Vetenskaprådet) as part of the research project ?Dynamical multi-agent 
systems: modelling, algorithmic verification and synthesis?? with 
principal investigator Prof. Valentin Goranko. The project is officially 
hosted at the Department of Philosophy at Stockholm University, Sweden.

Brief project description:

A multi-agent system consists of several 'agents' (software, computers, 
robots, market investors, institution employees, etc.) that act 
autonomously and intelligently in a common environment, in pursuit of 
individual or collective goals, communicating and interacting with the 
environment and with each other, planning and executing actions and 
strategies. Most multi-agent systems have dynamical nature: agents can 
enter or leave the system and can change their internal states, roles, 
functionalities, abilities to act and interact, goals, etc. within the 
system. These dynamic features make it quite challenging to properly 
design, formally specify and verify the behaviour of such systems. The 
main aim of the project is to undertake these challenges and develop 
methodology for resolving them.

The main research activities on the project include: development of a 
generic framework for modelling of dynamical multi-agent systems, design 
of suitable formal logical languages for their specification and of 
practically implementable logic-based algorithmic methods for solving the 
general problem of `dynamical verification?, which subsumes both model 
checking and model synthesis as extreme cases, as well as controller 
synthesis. The project aims both to develop a general theory and 
methodology and to design and implement algorithmic solutions for some 
more specific cases.

Main responsibilities:

The postdoctoral fellow will be expected to produce high-quality research 
on the project, individually and in close collaboration with the principal 
investigator. The fellow will be expected to publish the results of 
his/her research in authoritative international journals and conferences 
and to disseminate them via international conferences, workshops, seminars 
and other suitable events. Also, the position may also involve software 
implementation of some algorithmic methods developed in the project. The 
fellow will also assist with some administrative work related to the 
project, such as organising related conferences, workshops, and seminars, 
as well as preparing reports. No teaching duties are involved in the 
fellowship.

Qualification requirements:

Applications are invited by highly motivated and competent individuals 
with a recent doctoral degree in computer science or related field, with 
research experience and expertise relevant to the project. Applicants 
should be able to demonstrate their ability to produce high-quality 
research, as evidenced by their doctoral thesis and publications, 
conference presentations, and references. The main criteria in the 
selection process will be the research expertise, potential, and attitude 
of the applicants. Applicants are expected to hold a Swedish doctoral 
degree or an equivalent degree from another country. The degree should 
have been completed no more than three years before the deadline for 
applications. An older degree may be acceptable under special 
circumstances. The position does not require knowledge of Swedish, as the 
research on the project will be conducted and published in English.

Terms of employment:

The position involves full-time employment for a maximum of two years. The 
start date is negotiable, but should be not later than January 1, 2018.

Application procedure:

The full text of the announcement and instructions on the application 
procedure are available here:

in English: 
http://www.su.se/english/about/vacancies/vacancies-new-list?rmpage=job&rmjob=3375&rmlang=UK

in Swedish: 
http://www.su.se/om-oss/lediga-anställningar/lediga-jobb-ny-lista?rmpage=job&rmjob=3351&rmlang=SE

Closing date: 04/06/2017

Contact and enquiries:

Further information about the position can be obtained from Valentin 
Goranko by email to: valentin.goranko@philosophy.su.se, with subject line 
?VR post-doctoral position".

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam