[robotics-worldwide] Postdoctoral researcher position in multi-robot task planning and hybrid control synthesis using formal methods at KTH
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.
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.
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
The application should include:
1.Full curriculum vitae including your relevant academic and
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
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.
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