Two-year postdoctoral research fellowship at Stockholm University

[Valentin Goranko]

================================================================
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&rmjo
b=3375&rmlang=UK
in Swedish: 
http://www.su.se/om-oss/lediga-anställningar/lediga-jobb-ny-lista?rmpage=jo
b&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 at philosophy.su.se, with subject line
“VR post-doctoral position".