<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Dear all,</p>
<p><b>We are urgently looking for a PhD candidate</b> for the
following proposal that we are in the process of submitting for
joint funding by Inria and the French Agency for Defence
Innovation (AID). Due to the AID constraints, only candidates <b>holding
EU, United Kingdom or Swiss citizenship</b> can apply. <br>
</p>
<p>Please do forward this information to potential candidates.<br>
</p>
<p><b>Title:</b> Self-adaptive modular robots: formal modelling for
validation and coordination<br>
</p>
<p><b>Abstract:</b> Modular robots are systems composed of modules
that perform computations and communicate with their neighbours
and, using sensors and actuators, with their environment. We
consider modular robots that are either shaped and manipulated by
the user (like the <a moz-do-not-send="true"
href="https://projects.femto-st.fr/programmable-matter/blinky-blocks">Blinky
Blocks</a>) or capable of sliding along the faces of their
neighbours (as simulated in <a moz-do-not-send="true"
href="https://projects.femto-st.fr/projet-visiblesim/en">VisibleSim</a>).
<br>
</p>
<p>The main objective of this project is to contribute to the
implementation of modular robots by developing a formal framework
to model, validate and coordinate their dynamic behaviours. The
scientific challenges consist in particular in the ability to
model the dynamic evolution of this type of complex systems—their
adaptation and reconfiguration—by taking into account constraints
on resources as well as events occurring in their execution
environment.</p>
<p><b>Host institution:</b> Inria Lille – Nord Europe, team <a
moz-do-not-send="true" href="https://team.inria.fr/spirals/">Spirals</a><br>
</p>
<p><b>Supervision:</b> The project will be co-supervised by <a
moz-do-not-send="true" href="http://www.bliudze.me/simon/">Simon
Bliudze</a> (Spirals) and <a moz-do-not-send="true"
href="https://members.femto-st.fr/Olga-Kouchnarenko/">Olga
Kouchnarenko</a> (<a moz-do-not-send="true"
href="https://www.femto-st.fr/">FEMTO-ST Institute</a>,
Besançon) in collaboration with <a moz-do-not-send="true"
href="https://sites.google.com/view/sophiecerf/"> Sophie Cerf</a>
(Spirals)</p>
<p><b>Additional information:</b> <br>
</p>
<p>Any questions can be addressed to us by e-mail (see below).
Detailed description of the project is available at <br>
</p>
<p><a class="moz-txt-link-freetext"
href="https://www.bliudze.me/simon/2022/03/modular-robots-phd/">https://www.bliudze.me/simon/2022/03/modular-robots-phd/</a></p>
<p>Best regards,<br>
</p>
<p>Simon Bliudze <a class="moz-txt-link-rfc2396E"
href="mailto:simon.bliudze@inria.fr"><simon.bliudze@inria.fr></a><br>
Sophie Cerf <a class="moz-txt-link-rfc2396E"
href="mailto:sophie.cerf@inria.fr"><sophie.cerf@inria.fr></a><br>
Olga Kouchnarenko <a class="moz-txt-link-rfc2396E"
href="mailto:olga.kouchnarenko@univ-fcomte.fr"><olga.kouchnarenko@univ-fcomte.fr></a><br>
</p>
</body>
</html>