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

Dimos Dimarogonas dimos at kth.se
Tue Aug 20 02:06:52 PDT 2013

*Postdoctoral researcher position in multi-robot task planning and 
hybrid control synthesis using formal methods*

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


*Work environment*


KTH in Stockholm 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 14,000 first and second level 
students and more than 1,700 doctoral students. KTH has almost 4,600 

The School of Electrical Engineering conducts research and education in 
the fields of electrical engineering, systems engineering, information 
and communications theory, space and fusion plasma physics, and 
electrical power engineering. 380 people work in this creative and 
dynamic environment, out of which half are Ph.D. students, many from 
other countries. Our research projects are carried out in close 
collaboration with industry partners as well as with research colleagues 
from Sweden and other countries. The school is responsible for educating 
engineers in electrical engineering and offers six masters programs, 
which are in great demand and have a close connection to our main field.

The Automatic Control Lab at the School of Electrical Engineering of KTH 
conducts 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.

Work description*

We invite applications for one research associate (postdoc) position in 
multi-robot task planning and hybrid 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.

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 the EU STREP 
Project RECONFIG, http://www.reconfig.eu/.

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.


Candidates should have (or be near completion) of a PhD related to 
atleast one of the following research areas:

- hybrid control systems,

- multi-agent systems,

- robot motion/task planning and control, and

- formal verification methods for motion/task planning.

Experience with project management and robotic software/hardware 
implementations (e.g., using ROS) will be considered as a benefit.

The successful applicant should have an outstanding research and 
publication record. Well-developed analytical and problem solving skills 
are a requirement. We are looking for a strongly motivated person, who 
is able to work independently. Good command of English orally and in 
writing is required to present and publish research results.


Form of the employment: Time limited, 1 year which may be extended with 
additional 1 year

Work time:  Full-time

Start date: According to agreement, preferably soonest possible

Salary: According to agreement, following the general level for postdoc 
salary at the school

*Application *

The application should include:

1.Full curriculum vitae including your relevant academic and 
professional experience

2.Copy of the degree certificate(s) from your previously attended 
university-level institutions, with certified translations in English 
(unless provided so by the issuing institution)

3.List of publications

4.Research statement, maximum 2 pages long

5.Contact information for two professional references

*Application deadline: 2013-09-30*

*Please write the reference number E-2013-0606 on the subject line of 
your email.*

Applications via e-mail are to be sent to 0606 at ee.kth.se 
<mailto:0606 at ee.kth.se>.

Please do not send any compressed files.


*Contact persons*

Assistant Prof. Dimos Dimarogonas

E-mail: dimos at kth.se <mailto:dimos at kth.se>

Web: www.s3.kth.se/~dimos/ <http://www.s3.kth.se/%7Edimos/>


*Trade Union representatives*

Hans Edin, SACO

Phone: +46 8 790 76 39

E-mail: hans.edin at ee.kth.se <mailto:hans.edin at ee.kth.se>

Niclas Carlsson, Chairman ST

Phone: +46 8 790 70 16

E-mail: nc at kth.se <mailto:nc at kth.se>

Per-Ove Öster, LO/SEKO

Phone: +46 8 790 83 82

E-mail: perove at admin.kth.se <mailto:perove at admin.kth.se>

More information about the robotics-worldwide mailing list