<div dir="ltr"><br>We are looking for a candidate for a fully funded Ph.D. position to work at the intersection of<br>Robotics and Formal Methods.<br><br>Continuously Learning Complex Tasks via Symbolic Analysis (CoLeSlAw)<br>--------------------------------------------------------------------------------<br>Fully autonomous robots have the potential to impact real-life<br>applications, like assisting elderly people. Autonomous robots must<br>deal with uncertain and continuously changing environments, where it<br>is not possible to program the robot tasks. Instead, the robot must<br>continuously learn new tasks. The robot should further learn how to<br>perform more complex tasks combining simpler ones (i.e., a task<br>hierarchy). This problem is called lifelong learning of hierarchical<br>tasks.<br><br>The existing learning algorithms for hierarchical tasks are limited in<br>that: a) they require the robot to execute a large number of real<br>actions to sample the continuous state space of observations, hence<br>requiring a lot of time; b) they cannot deal with subspaces without<br>continuous interpolation, as it is the case for a hierarchy of tasks.<br><br>The goal of the Ph.D. project is to explore the use of set-based<br>and symbolic reasoning for the continuous space to tackle the above<br>challenges (e.g., reducing the number of samples required to learn a<br>hierarchy of tasks and allow for more effective planning of the robot<br>tasks, further handling discontinuities in the task hierarchies).<br><br>The main outcome of the project will be an algorithmic framework to<br>effectively explore task hierarchies and new reachability algorithms<br>for data-oriented models, such as neural networks.<br><br><br>Candidate<br>--------------------------------------------------------------------------------<br>The ideal candidate will have a Master degree in Computer science and<br>a strong background in at least one topic among learning algorithms,<br>robotics, planning, and formal methods (e.g., abstract interpretation, model<br>checking).<br><br><br>Deadline<br>--------------------------------------------------------------------------------<br>The formal deadline to apply is May 14th 2020.<br><br><br>Work environment<br>--------------------------------------------------------------------------------<br>The Ph.D. will be carried out in the Laboratoire d’informatique de<br>École Polytechnique (LIX), École Polytechnique, and  in the Computer<br>Science and Systems Engineering Laboratory (U2IS <a href="http://u2is.ensta-paris.fr">http://u2is.ensta-paris.fr</a>), ENSTA Paris, ENSTA<br>Paris, under the supervision of Sergio Mover and Sylvie Putot from LIX,<br>and Sao Mai Nguyen and Alexandre Chaputot from U2IS.<br><br><br>Doctoral School<br>--------------------------------------------------------------------------------<br>École Polytechnique and ENSTA Paris are part of the Institut<br>Polytechnique de Paris (IPP) and the Ph.D. will be at in the IP Paris<br>doctoral school<br>(<a href="https://www.ip-paris.fr/en/home-en/education/phd-programs/ip-paris-doctoral-school/">https://www.ip-paris.fr/en/home-en/education/phd-programs/ip-paris-doctoral-school/</a>).<br><br><br>Contacts and application<br>--------------------------------------------------------------------------------<br><div>To apply, please send a CV, a motivation letter and a transcript.</div><div>For more information and to get the information to apply contact</div><div>Sergio Mover and Sao Mai Nguyen.</div><div><br></div><br>Sergio Mover, Cosynus Team, LIX and Ecole Polytechnique, sergio.mover <at> <a href="http://polytechnique.edu">polytechnique.edu</a><br><div><br></div><div>and<br></div><div dir="ltr"><br clear="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><font face="arial, helvetica, sans-serif">Nguyen Sao Mai<br></font><font style="background-color:rgb(255,255,255)" size="1" face="times new roman, serif" color="#666666"><a href="mailto:nguyensmai@gmail.com" target="_blank"><font>nguyensmai@gmail.com</font></a><br><span style="border-collapse:separate">Researcher in Cognitive Developmental Robotics</span></font><div><font size="1" face="times new roman, serif" color="#666666"><a href="http://nguyensmai.free.fr" target="_blank">http://nguyensmai.free.fr </a>| <a href="http://www.youtube.com/user/nguyensmai" target="_blank">Youtube</a> | <a href="https://twitter.com/nguyensmai" target="_blank">Twitter</a> | <a href="https://www.researchgate.net/profile/Sao_Mai_Nguyen" target="_blank">ResearchGate</a> | <a href="https://hal.inria.fr/search/index/?q=%2A&authIdHal_s=sao-mai-nguyen&sort=producedDate_tdate+desc" target="_blank">Hal </a></font><br></div></div></div></div></div></div></div></div><br></div><div class="gmail_quote"><div> </div></div></div>