<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <p>Dear all,</p>
    <p>At the <a moz-do-not-send="true"
        href="https://team.inria.fr/spirals/">Spirals team</a> of <a
        moz-do-not-send="true"
        href="https://www.inria.fr/en/centre-inria-lille-nord-europe">Inria
        Lille</a>, I have proposed the following topic for the Inria
      MSCA-PF post-doctoral hosting:</p>
    <p><a class="moz-txt-link-freetext"
href="https://euraxess.ec.europa.eu/jobs/hosting/inria-msca-pf-2022-hosting-offer-lille-2">https://euraxess.ec.europa.eu/jobs/hosting/inria-msca-pf-2022-hosting-offer-lille-2</a></p>
    <p>I copy the description below for the sake of completeness.<br>
    </p>
    <p>Of course, a potential candidate will have to submit their own
      proposal for the MSCA-PF programme but Inria will provide active
      support. Selected candidates will have access to privileged grant
      writing training sessions and one-to-one proposal review sessions
      in the last phase with our experienced European Officers. <br>
    </p>
    <p>Do not hesitate to forward this information. In particular, if
      you are aware of a potential candidate, do put us in touch!</p>
    <p>Best regards,</p>
    <p>Simon Bliudze<br>
    </p>
    <p><b>Proposed research direction:</b> Coordination frameworks, such
      as BIP and JavaBIP, implement the coordination semantics using
      centralised engines orchestrating the execution of system
      components—a significant bottleneck for large systems. Previous
      attempts at the distributed implementation of BIP systems only
      partially address this problem. Most importantly, they disregard
      the inherent structure of BIP connectors considering only sets of
      flat interactions, defined by a list of components that must all
      participate in the synchronisation. Eliminating structure from BIP
      connectors may lead to exponential explosion of the number of such
      flat interactions. New protocols are needed that would take into
      account the connector structure, if necessary, relaxing the
      atomicity of interactions. Beyond BIP, the results could be
      applied to choreography composition.<br>
    </p>
  </body>
</html>