[robotics-worldwide] Postdoctoral position in multi-robot task planning and control , using formal methods at KTH

Dimos Dimarogonas dimos at kth.se
Thu Sep 13 00:55:08 PDT 2012

*Postdoctoral position in multi-robot task planning and control *

*using formal methods at KTH*

The Automatic Control Lab at the School of Electrical Engineering at KTH 
announces one postdoctoral position in multi-robot task planning and 
control using formal methods.


KTH is the largest and oldest technical university in Sweden. No less 
than one-third of Sweden's technical research and engineering education 
capacity at university level is provided by KTH. Education and research 
spans from natural sciences to all branches of engineering and includes 
architecture, industrial management and urban planning. There are a 
total of just over 15,000 first and second level students and more than 
1,600 doctoral students. KTH has almost 4,300 employees.

The Automatic Control Lab at the School of Electrical Engineering of 
KTHconducts research in networked control systems, robotics, control of 
communication systems, systems biology and system identification. Much 
of the research is conducted within EU projects, as well as within the 
inter-departmental centers CAS and ACCESS Linnaeus Centre. The group has 
also strong financial support from the Swedish Foundation for Strategic 
Research and the Swedish Research Council.

*The position:***

We invite applications for one research associate (postdoc) position in 
multi-robot task planning and control using formal methods. The 
successful candidate will join a research group that is focusing on new 
design methodologies for distributed planning and control of multi-agent 
systems using formal verification methodologies from computer science. A 
suitable background for the position is a PhD in at least one of the 
following research areas: hybrid control systems, multi-agent systems, 
robot motion/task planning and control, and formal verification.

It is expected that the successful candidate will conduct research in 
the aforementioned research areas, interact with doctoral and master 
students, and be involved in collaborative work in national and 
international projects. The position is associated to a new EU project 
related to the topic that will start in the beginning of 2013. The 
position will also be associated with the KTH Centre for Autonomous 
Systems, which is an inter-departmental research center that bridges 
three KTH Schools: Electrical Engineering, Computer Science and 
Communication and Engineering Sciences and conducts research within the 
integration of robotics, control, computer vision and machine learning. 
The position is available from the beginning of 2013, and is initially 
for a period of up to one year, with a possible extension for an 
additional two year term.


*How to apply:*

The application marked "Formal Multi-Robot" with curriculum vitae 
(including publications' list and two professional references) and a 
short research statement should be submitted by email to the contact 
person below at dimos at kth.se <mailto:dimos at kth.se>no later than November 
1, 2012.

For further information about the position, please contact

Dimos Dimarogonas, dimos at kth.se <mailto:dimos at kth.se>, 
http://www.s3.kth.se/~dimos/ <http://www.s3.kth.se/%7Edimos/>.

*Application deadline: November 1, 2012*

Dr. Dimos Dimarogonas,
Assistant Professor, Docent
Automatic Control
KTH Royal Institute of Technology
SE-100 44 Stockholm, Sweden
E-mail: dimos at kth.se, dimos at ee.kth.se
Web: http://www.s3.kth.se/~dimos/

More information about the robotics-worldwide mailing list