<div dir="ltr"><div><div class="gmail_signature"><div dir="ltr"><div dir="ltr">Bonjour, </div><div dir="ltr"><br></div><div dir="ltr">Nous recherchons un(e) candidat(e) intéressé(e) par une thèse en informatique, financée par l'IRT Railenium, intitulée "Validation formelle d’un système de signalisation ferroviaire à base de GNSS".</div><div dir="ltr"><br></div><div dir="ltr">Mots clés : Méthodes formelles, ingénierie dirigée par les modèles, systèmes de signalisation ferroviaire.</div><div dir="ltr"><br></div><div dir="ltr">Vous trouverez le détail du sujet en ligne :</div><div dir="ltr"><br></div><div dir="ltr"><a href="http://railenium.eu/wp-content/uploads/2018/05/VN-2018-11-DOCTORANT-M%C3%A9thodesFormelles-GNSS.pdf">http://railenium.eu/wp-content/uploads/2018/05/VN-2018-11-DOCTORANT-M%C3%A9thodesFormelles-GNSS.pdf </a></div><div dir="ltr"><br></div><div dir="ltr">Les candidatures (présentées en un seul fichier PDF composé du CV + des relevés de notes M1 et si possible M2 + des lettres de recommandations) sont à adresser <b><u>au plus tôt</u></b> par courrier électronique, sous la référence VN-2018/11, à : </div><div dir="ltr"><a href="mailto:sebastien.lefebvre@railenium.eu">sebastien.lefebvre@railenium.eu</a></div><div dir="ltr"><a href="mailto:adnane.boukamel@railenium.eu">adnane.boukamel@railenium.eu </a></div><div dir="ltr"><a href="mailto:christelle.mesureur@railenium.eu">christelle.mesureur@railenium.eu</a></div><div dir="ltr"><a href="mailto:abderrahim.ait-wakrime@railenium.eu">abderrahim.ait-wakrime@railenium.eu</a></div><div dir="ltr"><br></div><div dir="ltr"><br></div><div>Bien cordialement,</div><div>Abderrahim</div><div>Ait Wakrime</div></div></div></div>
</div>