[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Offre de CDD pour travailler sur les méthodes formelles avec et pour du Libre


From David MENTRE <dmentre at linux-france dot org>
Subject Offre de CDD pour travailler sur les méthodes formelles avec et pour du Libre
Date Mon, 21 Jan 2013 17:51:01 +0100

Bonjour,

Ma boite a ouvert une position de CDD pour travailler sur les méthodes
formelles, dans le domaine du ferroviaire :
  http://www.fr.mitsubishielectric-rce.eu/images/fck_upload/1301_Annonce_COM_Formal_Methods_MERCEFRCOM0113_FR.pdf

L'annonce ne le dit pas, mais le travail consiste essentiellement
(mais pas que, il y a aussi du proprio) à travailler avec des outils
libres (GNATprove, SPARK, Why3, git, ...) et pour du Libre (licence
EUPL ou LGPL pour le soft, CC-BY-SA pour la doc, etc.).

Amicalement,
david