<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div class="">We are looking for a postdoc to conduct research in a multidisciplinary expedition project funded by Wallenberg AI, Autonomous Systems and Software Program (WASP), Sweden’s largest individual research program, addressing compelling research topics
that promise disruptive innovations in AI, autonomous systems and software for several years to come.</div>
<div class=""><br class="">
</div>
<div class="">The project combines Formal Methods and Human-Robot Interaction with the goal of moving from conventional correct-by-design control with simple, static human models towards the synthesis of correct-by-design and socially acceptable controllers
that consider complex human models based on empirical data. Two demonstrators, an autonomous driving scenario and a mobile robot navigation scenario in crowded social spaces, are planned to showcase the advances made in the project.</div>
<div class=""><br class="">
</div>
<div class="">The focus of this position is on the development of data-driven models of human behavior that can be integrated with formal methods-based systems to better reflect real-world situations, as well as in the evaluation of the social acceptability
of such systems. </div>
<div class=""><br class="">
</div>
<div class="">The candidate will work under the supervision of Assistant Prof. Iolanda Leite (<a href="https://iolandaleite.com/" class="">https://iolandaleite.com/</a>) and in close collaboration with another postdoctoral researcher working in the field of
formal synthesis.</div>
<div class=""><br class="">
</div>
<div class="">This is a two-year position. The starting date is open for discussion, but ideally, we would like the selected candidate to start ASAP.</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">QUALIFICATIONS</div>
<div class=""><br class="">
</div>
<div class="">Candidates should have completed, or be near completion of, a Doctoral degree with a strong international publication record in areas such as (but not limited to) human-robot interaction, social robotics, multimodal perception, and artificial
intelligence. Familiarity with formal methods, game theory, and control theory is an advantage.</div>
<div class=""><br class="">
</div>
<div class="">Documented written and spoken English and programming skills are required. Experience with experimental design and statistical analysis is an important asset. Applicants must be strongly motivated, be able to work independently and possess good
levels of cooperative and communicative abilities.</div>
<div class=""><br class="">
</div>
<div class="">We look for candidates who are excited about being a part of a multidisciplinary team.</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">HOW TO APPLY</div>
<div class=""><br class="">
</div>
<div class="">The application should include:</div>
<div class=""><br class="">
</div>
<div class="">1. Curriculum vitae.</div>
<div class="">2. Transcripts from University/ University College.</div>
<div class="">3. A brief description of the candidate's research interests, including previous research and future goals (max 2 pages).</div>
<div class="">4. Contact of two references. We will contact the references only for selected candidates.</div>
<div class=""><br class="">
</div>
<div class="">The application documents should be uploaded using the KTH's recruitment system:</div>
<div class=""><br class="">
</div>
<div class=""><a href="https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:274522/where:4/" class="">https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:274522/where:4/</a></div>
<div class=""><br class="">
</div>
<div class="">The application deadline is ** September 13, 2019 ** </div>
<div class=""><br class="">
</div>
<div class="">
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;">
-----------------<br class="">
Iolanda Leite<br class="">
Assistant Professor<br class="">
KTH Royal Institute of Technology<br class="">
School of Electrical Engineering and Computer Science<br class="">
Division of Robotics, Perception and Learning (RPL)<br class="">
<br class="">
Teknikringen 33, 4th floor, room 3424, SE-100 44 Stockholm, Sweden<br class="">
Phone: +46-8 790 67 34<br class="">
<a href="https://iolandaleite.com" class="">https://iolandaleite.com</a></div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;" class="">
<br class="">
</div>
<br class="Apple-interchange-newline">
</div>
<br class="">
</body>
</html>