<div dir="ltr"><div dir="ltr"><div><div>Bonjour, </div><div><br></div><div>Nous recherchons un(e) candidat(e) intéressé(e) par une thèse en informatique, financée par l'IRT Railenium, intitulée "Preuve formelle du respect du besoin pour une solution de transport innovante".</div><div><br></div><div>Mots clés : Méthodes formelles, ontologies, systèmes de signalisation ferroviaire.</div><div><br></div><div>Vous trouverez le détail du sujet en pièce jointe ou en ligne :</div><div><br></div><div><a href="https://railenium.eu/fr/job/doctorant-en-methodes-formelles-preuve-formelle-du-respect-du-besoin-pour-une-solution-de-transport-innovante/">https://railenium.eu/fr/job/doctorant-en-methodes-formelles-preuve-formelle-du-respect-du-besoin-pour-une-solution-de-transport-innovante/</a></div><div><br></div><div>Les candidatures (présentées en un seul fichier PDF composé du CV + des relevés de notes M1 et M2 + des lettres de recommandations) sont à adresser au plus tôt par courrier électronique, sous la référence VN-2018/17, à : <a href="mailto:recrutement@railenium.eu">recrutement@railenium.eu</a></div><div><br></div><div><br></div><div>Bien cordialement,</div><div>Abderrahim</div><div>Ait Wakrime</div></div><div><div dir="ltr" class="gmail_signature"><div dir="ltr"><div style="font-size:small">Web : <a href="http://www.awakrime.fr" target="_blank">www.awakrime.fr</a></div></div></div></div></div></div>