<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>Dear colleagues,<br>
</p>
<p>We are hiring a PhD student on a fully-funded position at the
Inria Lille team Spirals (<a class="moz-txt-link-freetext"
href="https://team.inria.fr/spirals/">https://team.inria.fr/spirals/</a>)
to work on the <i><br>
</i></p>
<p><i>Design of correct-by-construction self-adaptive cloud
applications using formal methods</i>.</p>
<p>Applications should be submitted at the Inria jobs website <b>by
22/04/2019</b>:</p>
<p><a class="moz-txt-link-freetext"
href="https://jobs.inria.fr/public/classic/fr/offres/2019-01375">https://jobs.inria.fr/public/classic/fr/offres/2019-01375</a></p>
<p>Detailed information available on my web-site:</p>
<p><a class="moz-txt-link-freetext"
href="http://www.bliudze.me/simon/2019/04/design-of-correct-by-construction-self-adaptive-cloud-applications-using-formal-methods/">http://www.bliudze.me/simon/2019/04/design-of-correct-by-construction-self-adaptive-cloud-applications-using-formal-methods/</a></p>
<p>Thanks in advance for spreading the word!</p>
<p>Best regards,</p>
<p>Simon Bliudze<br>
</p>
<p><br>
</p>
</body>
</html>