[agents] Offre de thèse (PhD) à l'IRT Railenium - TRES URGENT

[Abderrahim AITWAKRIME]

Bonjour,

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".

Mots clés : Méthodes formelles, ingénierie dirigée par les modèles,
systèmes de signalisation ferroviaire.

Vous trouverez le détail du sujet en ligne :

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>

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 *au plus tôt* par courrier électronique, sous la référence
VN-2018/11, à :
sebastien.lefebvre at railenium.eu
adnane.boukamel at railenium.eu  <adnane.boukamel at railenium.eu>
christelle.mesureur at railenium.eu
abderrahim.ait-wakrime at railenium.eu


Bien cordialement,
Abderrahim
Ait Wakrime
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cs.umbc.edu/pipermail/agents/attachments/20180525/05caaedb/attachment.html>