[robotics-worldwide] [jobs] PhD student position in formal methods-based planning (KTH)

jtumova tumova at kth.se
Thu Apr 23 06:35:50 PDT 2015


PhD Student Position in Formal Methods-Based Planning at Royal Institute of
Technology (KTH)

The Automatic Control Deparment at KTH invites applications for a Ph.D.
position in formal methods-based planning. The successful candidate will
join a research group that is focusing on new design methodologies for
automated planning and control synthesis under complex system
specifications. Applications of the research include, but are not limited to
autonomous robot action and motion planning, or multi-agent systems control
and coordination.

KTH offers an attractive working environment, generous remuneration, as well
as other employment benefits. As a PhD student at KTH you have many
opportunities to participate at conferences, projects and other relevant
events which will extend your professional network and benefit your future
career.

The successful applicant is expected to hold or to be about to receive an
M.Sc. degree in one of the following or related disciplines: Computer
Science, Computer Engineering, Applied Mathematics, or similar, preferably
with a focus in Formal Methods for Verification or Synthesis, and/or
Artificial Intelligence. He or she should have an outstanding academic track
record, and well developed analytical and problem solving skills. 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 publish and
present results at international conferences and in international journals.
The evaluation will be based on how well the applicant fulfills the above
qualifications.

For further information, please see: 
https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:63167/where:4/
<https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:63167/where:4/>  

Contact: Associate Prof. Dimos Dimarogonas, dimos at kth.se, 
http://people.kth.se/~dimos/ <http://people.kth.se/~dimos/>  , Dr. Jana
Tumova, tumova at kth.se,  http://people.kth.se/~tumova/
<http://people.kth.se/~tumova/>  



--
View this message in context: http://robotics-worldwide.1046236.n5.nabble.com/robotics-worldwide-jobs-PhD-student-position-in-formal-methods-based-planning-KTH-tp5711329.html
Sent from the robotics-worldwide mailing list archive at Nabble.com.


More information about the robotics-worldwide mailing list