The Automatic Control Department 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.

Project description

We invite 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.

Qualifications and eligibility

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.

The successful applicant 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.

Trade union representatives

You’ll find contact information to trade union representatives at KTH:s webbpage.

Application

Log into KTH’s recruitment system in order to apply to this position. You are the main responsible to ensure that your application is complete according to the ad. Your complete application must be received at KTH no later than the last day of application.

The application must include:

1. CV including your relevant professional experience and knowledge.
2. Copy of the degree certificate(s) and transcripts of records from your previously attended university-level institutions. Translations into English or Swedish if the original documents are not issued in one of these languages.
3. Statement of purpose: Why do you want to pursue a PhD, what are your academic interests, how they relate to your previous studies and future goals; maximum 2 pages long.
4. Representative publications or technical reports: Documents no longer than 10 pages each. For longer documents (e.g. theses), please provide a summary (abstract) and a web link to the full text.
5. Letters of recommendation or contact information for two reference persons

Others

The employment is time limited following the regulations for Ph.D. employment in the Higher Education Ordinance (~ 5 years when 80% PhD studies and 20% department service including teaching).

We firmly decline all contact with staffing and recruitment agencies and job ad salespersons.