[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